{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":659662363,"defaultBranch":"main","name":"metaprogramming-rosetta-stone","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-28T09:45:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1688486554.0","currentOid":""},"activityList":{"items":[{"before":"989998f8749f87df88e009731be134f99256715a","after":null,"ref":"refs/heads/CI","pushedAt":"2023-07-04T16:02:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"}},{"before":"edc8bd1fc92c03d929ae8504e0c4c5cc49cb68fc","after":"48e92067d6c8170a996c42ed88b221bd7ab4ebbd","ref":"refs/heads/main","pushedAt":"2023-07-04T16:02:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI for autoinduct (#19)","shortMessageHtmlLink":"CI for autoinduct (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1787747956\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/metaprogramming-rosetta-stone/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/metaprogramming-rosetta-stone/pull/19/hovercard\" href=\"https://github.com/coq-community/metaprogramming-rosetta-stone/pull/19\">#19</a>)"}},{"before":"e75d9287686233e3bd5bf3fb1194ee72f1efd322","after":"989998f8749f87df88e009731be134f99256715a","ref":"refs/heads/CI","pushedAt":"2023-07-04T11:10:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"use Autoinduct namespace","shortMessageHtmlLink":"use Autoinduct namespace"}},{"before":"dd42b7c4bfdadce1826b04de1ab202e07a5decab","after":"e75d9287686233e3bd5bf3fb1194ee72f1efd322","ref":"refs/heads/CI","pushedAt":"2023-07-03T12:50:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"use Autoinduct namespace","shortMessageHtmlLink":"use Autoinduct namespace"}},{"before":"5d063068f1230191f26865b333fafe1e91ab63cd","after":"edc8bd1fc92c03d929ae8504e0c4c5cc49cb68fc","ref":"refs/heads/main","pushedAt":"2023-07-01T12:01:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tlringer","name":"Talia Ringer","path":"/tlringer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9851391?s=80&v=4"},"commit":{"message":"Add type annotations to OCaml","shortMessageHtmlLink":"Add type annotations to OCaml"}},{"before":null,"after":"c9482f5d46497baedb94e12127b236d1b664713f","ref":"refs/heads/add-meta-generate-readme","pushedAt":"2023-06-30T19:58:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add basic meta.yml, generate README.md from templates","shortMessageHtmlLink":"add basic meta.yml, generate README.md from templates"}},{"before":"7f711d63063dbe38b02c40664b92b36fd13e3568","after":"dd42b7c4bfdadce1826b04de1ab202e07a5decab","ref":"refs/heads/CI","pushedAt":"2023-06-30T16:32:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"use Autoinduct namespace","shortMessageHtmlLink":"use Autoinduct namespace"}},{"before":null,"after":"0978b8396f89ec0d22752dfe5873ce749aae1321","ref":"refs/heads/ac-simplifier-Z","pushedAt":"2023-06-30T15:02:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"A simplification tactic for Z-module equations, specific to Z","shortMessageHtmlLink":"A simplification tactic for Z-module equations, specific to Z"}},{"before":"804994ed05eb519d57b7147b0e1262b3a7c2a468","after":"7f711d63063dbe38b02c40664b92b36fd13e3568","ref":"refs/heads/CI","pushedAt":"2023-06-30T13:20:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"use Autoinduct namespace","shortMessageHtmlLink":"use Autoinduct namespace"}},{"before":"a0ace6ca2202ffe46ea2a52561bd3cf46449ac7e","after":"804994ed05eb519d57b7147b0e1262b3a7c2a468","ref":"refs/heads/CI","pushedAt":"2023-06-30T13:02:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"5af76c4fdb370c432371c7a0c780ea3e9646ecd9","after":"a0ace6ca2202ffe46ea2a52561bd3cf46449ac7e","ref":"refs/heads/CI","pushedAt":"2023-06-30T12:24:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"754df1144d813e1e8c1e1a273b35c85c6a43f1c1","after":"5af76c4fdb370c432371c7a0c780ea3e9646ecd9","ref":"refs/heads/CI","pushedAt":"2023-06-30T12:18:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"e51a771dac2f704e06f6715d0e5b957755909e44","after":"754df1144d813e1e8c1e1a273b35c85c6a43f1c1","ref":"refs/heads/CI","pushedAt":"2023-06-30T12:18:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"c2531ea505ff06130f8f9e6cb51bdf433d374dfa","after":"e51a771dac2f704e06f6715d0e5b957755909e44","ref":"refs/heads/CI","pushedAt":"2023-06-30T12:15:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"759803a4e6201a4572739ab6dfc23b3baaade92e","after":"c2531ea505ff06130f8f9e6cb51bdf433d374dfa","ref":"refs/heads/CI","pushedAt":"2023-06-30T12:12:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"2254c48f7d85e5018c775ca1640f6a4bba27d012","after":"759803a4e6201a4572739ab6dfc23b3baaade92e","ref":"refs/heads/CI","pushedAt":"2023-06-30T11:53:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":null,"after":"2254c48f7d85e5018c775ca1640f6a4bba27d012","ref":"refs/heads/CI","pushedAt":"2023-06-30T11:43:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"330d47ba2a36f308712fd627dc1b108159b7b6d4","after":"5d063068f1230191f26865b333fafe1e91ab63cd","ref":"refs/heads/main","pushedAt":"2023-06-30T11:10:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"syntax highlight for elpi files","shortMessageHtmlLink":"syntax highlight for elpi files"}},{"before":"eb62d2662a50f496662b04dd85dc7eed8aa465fc","after":"330d47ba2a36f308712fd627dc1b108159b7b6d4","ref":"refs/heads/main","pushedAt":"2023-06-30T09:18:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"Cleanup MetaCoq example, add Davide and Tomas to contributors","shortMessageHtmlLink":"Cleanup MetaCoq example, add Davide and Tomas to contributors"}},{"before":"4093f3ba91af12a9bf7520aecae0b8d79079059f","after":"eb62d2662a50f496662b04dd85dc7eed8aa465fc","ref":"refs/heads/main","pushedAt":"2023-06-30T09:17:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"add type annotations to ltac2 autoinduct","shortMessageHtmlLink":"add type annotations to ltac2 autoinduct"}},{"before":"1d1fa86372b77c6954bc85fb07d4c893e3a1227c","after":"4093f3ba91af12a9bf7520aecae0b8d79079059f","ref":"refs/heads/main","pushedAt":"2023-06-30T08:31:14.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"yforster","name":"Yannick Forster","path":"/yforster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4191846?s=80&v=4"},"commit":{"message":"Merge pull request #14 from Tvallejos/main","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1781632700\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/metaprogramming-rosetta-stone/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/metaprogramming-rosetta-stone/pull/14/hovercard\" href=\"https://github.com/coq-community/metaprogramming-rosetta-stone/pull/14\">#14</a> from Tvallejos/main"}},{"before":"f27fa14627077896bac9da797f9dc2428f805e38","after":"1d1fa86372b77c6954bc85fb07d4c893e3a1227c","ref":"refs/heads/main","pushedAt":"2023-06-29T14:54:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tlringer","name":"Talia Ringer","path":"/tlringer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9851391?s=80&v=4"},"commit":{"message":"README and more tests","shortMessageHtmlLink":"README and more tests"}},{"before":"ed939c8bcab0d403395138fce4ffef40d765cf80","after":"f27fa14627077896bac9da797f9dc2428f805e38","ref":"refs/heads/main","pushedAt":"2023-06-29T14:45:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tlringer","name":"Talia Ringer","path":"/tlringer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9851391?s=80&v=4"},"commit":{"message":"add more interesting tests","shortMessageHtmlLink":"add more interesting tests"}},{"before":"149ae21f66dc38fdf482a99f1e04218ebf75088a","after":"ed939c8bcab0d403395138fce4ffef40d765cf80","ref":"refs/heads/main","pushedAt":"2023-06-29T13:52:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tlringer","name":"Talia Ringer","path":"/tlringer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9851391?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/coq-community/metaprogramming-rosetta-stone into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/coq-community/metaprogramming-rosetta-stone\">https://github.com/coq-community/metaprogrammi…</a>"}},{"before":"3f7386816ca6a54aa6f66bf2f338b1ffbd97de08","after":"149ae21f66dc38fdf482a99f1e04218ebf75088a","ref":"refs/heads/main","pushedAt":"2023-06-29T13:48:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"add requirements to the readme of autoinduct","shortMessageHtmlLink":"add requirements to the readme of autoinduct"}},{"before":"4db61c79da26fd72dd60797e7d909cc13300b3a3","after":"3f7386816ca6a54aa6f66bf2f338b1ffbd97de08","ref":"refs/heads/main","pushedAt":"2023-06-29T13:44:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"add note about eval red","shortMessageHtmlLink":"add note about eval red"}},{"before":"bac5c1ba0215193c881f67f4ac84823df6816955","after":"4db61c79da26fd72dd60797e7d909cc13300b3a3","ref":"refs/heads/main","pushedAt":"2023-06-29T13:43:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tlringer","name":"Talia Ringer","path":"/tlringer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9851391?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/coq-community/metaprogramming-rosetta-stone into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/coq-community/metaprogramming-rosetta-stone\">https://github.com/coq-community/metaprogrammi…</a>"}},{"before":"ea9c71d55e6b08b14ec2e9c843d939a192c72c30","after":"bac5c1ba0215193c881f67f4ac84823df6816955","ref":"refs/heads/main","pushedAt":"2023-06-29T13:38:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"some comments","shortMessageHtmlLink":"some comments"}},{"before":"ddf3f26a7bc2b4ac75105b33ee579bc41b57098f","after":null,"ref":"refs/heads/reflexive-Z-zmodule","pushedAt":"2023-06-29T13:37:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"}},{"before":"69937127308bca24ffa8776e27c93dc6ef95ddcf","after":"ea9c71d55e6b08b14ec2e9c843d939a192c72c30","ref":"refs/heads/main","pushedAt":"2023-06-29T13:35:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #13 from coq-community/reflexive-Z-zmodule\n\nA reflexive tactic for Z-modules (commutative groups), specific to Z","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1780766918\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/metaprogramming-rosetta-stone/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/metaprogramming-rosetta-stone/pull/13/hovercard\" href=\"https://github.com/coq-community/metaprogramming-rosetta-stone/pull/13\">#13</a> from coq-community/reflexive-Z-zmodule"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADTpxAUAA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/metaprogramming-rosetta-stone"}