{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":215375481,"defaultBranch":"master","name":"rewriter","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-10-15T19:03:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722289056.0","currentOid":""},"activityList":{"items":[{"before":"19f344b0a675c0da2c40168e59418991ebe29271","after":"1ce9f1a36de705f7e23e5b043914fc315e9aea40","ref":"refs/heads/master","pushedAt":"2024-09-19T21:37:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/coq/coq/pull/19530 (#159)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519789622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19530\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19530/hovercard\" href=\"https://github.com/coq/coq/pull/19530\">coq/coq#19530</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2530145344\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/159/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/159\">#159</a>)"}},{"before":"b9b7761315f8b848ee31f93716b060dfb9233f06","after":"19f344b0a675c0da2c40168e59418991ebe29271","ref":"refs/heads/master","pushedAt":"2024-07-29T21:55:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157)\n\nThis greatly reduces term size (tree size 1988106 -> 1121651 for\r\nwf3_of_wf).\r\n\r\nTimings before:\r\n(Succeed Qed includes some time which isn't in Time Qed, see also\r\nhttps://github.com/coq/coq/pull/19426)\r\n\r\nwf3\r\ntactics 2.2s\r\nqed 1.09s\r\nsucceed qed 1.25s\r\n\r\nwf4\r\ntactics 14.5s\r\nqed 7.4s\r\nsucceed qed 8.5s\r\n\r\nAfter:\r\n\r\nwf3\r\ntactics 1.4s\r\nqed 0.6s\r\nsucceed qed 0.65s\r\n\r\nwf4\r\ntactics 8s\r\nqed 3.6s\r\nsucceed qed 4s","shortMessageHtmlLink":"speedup wf{3,4}_of_wf by factorizing raw matches to definitions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2435607570\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/157/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/157\">#157</a>)"}},{"before":"640a498339efb838c5a3856afdd4adb6c0d50788","after":null,"ref":"refs/heads/python-is-python3","pushedAt":"2024-07-29T21:46:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"}},{"before":"2315c2797778a0f6d77dbd0b1581b6683f5eeb5e","after":"b9b7761315f8b848ee31f93716b060dfb9233f06","ref":"refs/heads/master","pushedAt":"2024-07-29T21:46:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"[CI] Update Python to install python-is-python3 (#158)","shortMessageHtmlLink":"[CI] Update Python to install python-is-python3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2436425147\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/158/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/158\">#158</a>)"}},{"before":null,"after":"640a498339efb838c5a3856afdd4adb6c0d50788","ref":"refs/heads/python-is-python3","pushedAt":"2024-07-29T21:37:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"[CI] Update Python to install python-is-python3","shortMessageHtmlLink":"[CI] Update Python to install python-is-python3"}},{"before":"edcec730f68469475fdc4b78495ae941a5b320ec","after":"2315c2797778a0f6d77dbd0b1581b6683f5eeb5e","ref":"refs/heads/master","pushedAt":"2024-07-27T23:04:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Adapt to coq/coq#19384 (cleanup ustate universe demote APIs) (#156)\n\n* Add separate files for 8.21\r\n\r\nEverything except Makefile changes done with\r\n```\r\nfor i in $(git ls-files \"*.v820\"); do cp $i ${i/v820/v821}; git add ${i/v820/v821}; done\r\n```\r\n\r\n* Adapt to coq/coq#19384 (cleanup ustate universe demote APIs)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2413455023\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19384\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19384/hovercard\" href=\"https://github.com/coq/coq/pull/19384\">coq/coq#19384</a> (cleanup ustate universe demote APIs) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2413456899\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/156/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/156\">#156</a>)"}},{"before":"9dd74a950d00870e8692ff73394f64afeb4dc01e","after":"edcec730f68469475fdc4b78495ae941a5b320ec","ref":"refs/heads/master","pushedAt":"2024-06-04T06:08:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Remove upstreamed Ltac2 constr interators. (#155)","shortMessageHtmlLink":"Remove upstreamed Ltac2 constr interators. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2330990614\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/155\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/155/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/155\">#155</a>)"}},{"before":"49c7344ea46544f7d1e0cec66ebeebada01883f6","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-e4d9e81","pushedAt":"2024-05-09T14:50:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"b1e8367b4b46b9eb6fcb6c95d8589f1e45449a83","after":"9dd74a950d00870e8692ff73394f64afeb4dc01e","ref":"refs/heads/master","pushedAt":"2024-05-09T14:50:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `857071d` to `e4d9e81` (#154)\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `857071d` to `e4d9e81`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/857071dedd44faf5a2de9c846d7486f4ca2f677a...e4d9e81ca4ac1c29c5971bf33fd58bd7dc00d9b9)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>857071d</code> to <code>e4d9e81</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287065067\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/154/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/154\">#154</a>)"}},{"before":null,"after":"49c7344ea46544f7d1e0cec66ebeebada01883f6","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-e4d9e81","pushedAt":"2024-05-09T07:20:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `857071d` to `e4d9e81`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `857071d` to `e4d9e81`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/857071dedd44faf5a2de9c846d7486f4ca2f677a...e4d9e81ca4ac1c29c5971bf33fd58bd7dc00d9b9)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>857071d</code> to <code>e4d9e81</code>"}},{"before":"6b55acf457fe04df59881f8794bad8d2f426b27a","after":"b1e8367b4b46b9eb6fcb6c95d8589f1e45449a83","ref":"refs/heads/master","pushedAt":"2024-04-18T23:43:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Create dependabot-automerge.yml","shortMessageHtmlLink":"Create dependabot-automerge.yml"}},{"before":"d0ddfed69da57f27842a2ed508cdf8f5b0ed6bb1","after":null,"ref":"refs/heads/JasonGross-patch-1","pushedAt":"2024-04-18T23:42:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"}},{"before":"56ae1feca6f6390852a1b584b0a99dae1055192d","after":"6b55acf457fe04df59881f8794bad8d2f426b27a","ref":"refs/heads/master","pushedAt":"2024-04-18T23:42:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Schedule dependabot updates leading fiat-crypto (#153)\n\nA la https://github.com/mit-plv/rupicola/pull/117","shortMessageHtmlLink":"Schedule dependabot updates leading fiat-crypto (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251786703\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/153\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/153/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/153\">#153</a>)"}},{"before":null,"after":"d0ddfed69da57f27842a2ed508cdf8f5b0ed6bb1","ref":"refs/heads/JasonGross-patch-1","pushedAt":"2024-04-18T23:42:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Schedule dependabot updates leading fiat-crypto\n\nA la https://github.com/mit-plv/rupicola/pull/117","shortMessageHtmlLink":"Schedule dependabot updates leading fiat-crypto"}},{"before":"b74f240c15f9cc0e4e76b7cb03ba35c1cdb61365","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-857071d","pushedAt":"2024-04-17T20:55:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"}},{"before":"1cd64f2598427f8f4ddcbe453fb61bff32fd0d3a","after":"56ae1feca6f6390852a1b584b0a99dae1055192d","ref":"refs/heads/master","pushedAt":"2024-04-17T20:55:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `5876e80` to `857071d` (#152)\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `5876e80` to `857071d`.\r\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/5876e80a10b459148ea49b848af3fb1b9507a7e6...857071dedd44faf5a2de9c846d7486f4ca2f677a)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: etc/coq-scripts\r\n  dependency-type: direct:production\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>5876e80</code> to <code>857071d</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248577902\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/152\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/152/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/152\">#152</a>)"}},{"before":null,"after":"b74f240c15f9cc0e4e76b7cb03ba35c1cdb61365","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-857071d","pushedAt":"2024-04-17T15:28:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `5876e80` to `857071d`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `5876e80` to `857071d`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/5876e80a10b459148ea49b848af3fb1b9507a7e6...857071dedd44faf5a2de9c846d7486f4ca2f677a)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>5876e80</code> to <code>857071d</code>"}},{"before":"30a76e2879ae3b78327c68127422a0269d9ffd4e","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-5876e80","pushedAt":"2024-03-19T22:54:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"}},{"before":"21b82e9414e33727f63c0c5876ef656128876f42","after":"1cd64f2598427f8f4ddcbe453fb61bff32fd0d3a","ref":"refs/heads/master","pushedAt":"2024-03-19T22:54:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `7b54b75` to `5876e80` (#150)\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `7b54b75` to `5876e80`.\r\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/7b54b756050f1c1237a8b89bb62ae06f6567e712...5876e80a10b459148ea49b848af3fb1b9507a7e6)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: etc/coq-scripts\r\n  dependency-type: direct:production\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>7b54b75</code> to <code>5876e80</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2184299931\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/150/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/150\">#150</a>)"}},{"before":null,"after":"30a76e2879ae3b78327c68127422a0269d9ffd4e","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-5876e80","pushedAt":"2024-03-13T15:29:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump etc/coq-scripts from `7b54b75` to `5876e80`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `7b54b75` to `5876e80`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/7b54b756050f1c1237a8b89bb62ae06f6567e712...5876e80a10b459148ea49b848af3fb1b9507a7e6)\n\n---\nupdated-dependencies:\n- dependency-name: etc/coq-scripts\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>7b54b75</code> to <code>5876e80</code>"}},{"before":"3342e2980a896e3e29d0286b6f14f5b5ba594d6e","after":"21b82e9414e33727f63c0c5876ef656128876f42","ref":"refs/heads/master","pushedAt":"2024-02-07T18:04:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) (#149)\n\n* Add separate files for v8.20\r\n\r\nEverything except Makefile changes done with\r\n```\r\nfor i in $(git ls-files \"*.v819\"); do cp $i ${i/v819/v820}; git add ${i/v819/v820}; done\r\n```\r\n\r\n* Adapt to coq/coq#18624 (Tac2ffi / Tac2val split)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2118994288\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18624\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18624/hovercard\" href=\"https://github.com/coq/coq/pull/18624\">coq/coq#18624</a> (Tac2ffi / Tac2val split) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2120595985\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/149\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/149/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/149\">#149</a>)"}},{"before":"9e81a529953ecbd402e495335dac6b22a374df21","after":"3342e2980a896e3e29d0286b6f14f5b5ba594d6e","ref":"refs/heads/master","pushedAt":"2024-01-30T16:13:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"adapt to coq/coq#18563","shortMessageHtmlLink":"adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2101456137\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18563\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18563/hovercard\" href=\"https://github.com/coq/coq/pull/18563\">coq/coq#18563</a>"}},{"before":"de9f96d25ecd4a1722999d93f51a68e4089ee91f","after":"9e81a529953ecbd402e495335dac6b22a374df21","ref":"refs/heads/master","pushedAt":"2024-01-30T15:35:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"[CI] [Alpine] Don't use PR version of Alpine Coq (#145)\n\nCo-authored-by: Andres Erbsen <andreser@mit.edu>","shortMessageHtmlLink":"[CI] [Alpine] Don't use PR version of Alpine Coq (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2055234204\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/145\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/145/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/145\">#145</a>)"}},{"before":"39f5f3e65c22b58ce0ebdb9fd4248fe45830f990","after":"de9f96d25ecd4a1722999d93f51a68e4089ee91f","ref":"refs/heads/master","pushedAt":"2023-12-31T18:11:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update README.md with more CI badges","shortMessageHtmlLink":"Update README.md with more CI badges"}},{"before":"c0328db20aba3a974de1b31b5bff268c543e8965","after":"39f5f3e65c22b58ce0ebdb9fd4248fe45830f990","ref":"refs/heads/master","pushedAt":"2023-12-31T18:09:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Fix nested unordered lists in README.md (#147)","shortMessageHtmlLink":"Fix nested unordered lists in README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061134073\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/rewriter/issues/147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/rewriter/pull/147/hovercard\" href=\"https://github.com/mit-plv/rewriter/pull/147\">#147</a>)"}},{"before":"7cdc6a19ba49d376114db933ddf96c6b7c6577eb","after":"c0328db20aba3a974de1b31b5bff268c543e8965","ref":"refs/heads/master","pushedAt":"2023-12-25T02:13:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"[CI] Add ocamlfind printconf destdir to system config description","shortMessageHtmlLink":"[CI] Add ocamlfind printconf destdir to system config description"}},{"before":"c1e5de5c1b124b2e244938fe0816503c9544a201","after":"c07f2065ce4f522cc57bb08ac0f2b83065dd48b1","ref":"refs/heads/alpine-testing","pushedAt":"2023-12-25T02:13:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-alpine.yml","shortMessageHtmlLink":"Update coq-alpine.yml"}},{"before":"7cdc6a19ba49d376114db933ddf96c6b7c6577eb","after":"c1e5de5c1b124b2e244938fe0816503c9544a201","ref":"refs/heads/alpine-testing","pushedAt":"2023-12-25T02:11:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Revert \"[CI] [Alpine] Don't use PR version of Alpine Coq\"\n\nThis reverts commit fc609e2989cb20a204316a438a3fa5b3f1529be2.","shortMessageHtmlLink":"Revert \"[CI] [Alpine] Don't use PR version of Alpine Coq\""}},{"before":"01bb98f91b6a0267983aad529c8ad77d6b42f2b9","after":"7cdc6a19ba49d376114db933ddf96c6b7c6577eb","ref":"refs/heads/alpine-testing","pushedAt":"2023-12-25T02:08:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Also run Alpine CI on alpine-testing","shortMessageHtmlLink":"Also run Alpine CI on alpine-testing"}},{"before":"01bb98f91b6a0267983aad529c8ad77d6b42f2b9","after":"7cdc6a19ba49d376114db933ddf96c6b7c6577eb","ref":"refs/heads/master","pushedAt":"2023-12-25T02:07:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Also run Alpine CI on alpine-testing","shortMessageHtmlLink":"Also run Alpine CI on alpine-testing"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQyMTozNzowMy4wMDAwMDBazwAAAAS7VzWl","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQyMTozNzowMy4wMDAwMDBazwAAAAS7VzWl","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yNVQwMjowNzowOC4wMDAwMDBazwAAAAPRcyqP"}},"title":"Activity · mit-plv/rewriter"}