{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":34430052,"defaultBranch":"master","name":"fiat","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-04-23T02:54:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715275182.0","currentOid":""},"activityList":{"items":[{"before":"b5e3e7a4c1a52321149c4545621314a91565da4f","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-e4d9e81","pushedAt":"2024-05-09T17:19:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"3e1c66ee0eb2eafded8829af28b925fb16d161a2","after":"33cee618160f76e7b15ea3e0db02f8198df347a5","ref":"refs/heads/master","pushedAt":"2024-05-09T17:19:41.000Z","pushType":"pr_merge","commitsCount":1,"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` (#112)","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=\"2287513769\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/112\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/112/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/112\">#112</a>)"}},{"before":null,"after":"b5e3e7a4c1a52321149c4545621314a91565da4f","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-e4d9e81","pushedAt":"2024-05-09T11:42:55.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":"9b318ef58623753a8ac71368d15780d071204bb8","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-857071d","pushedAt":"2024-04-17T17:24:14.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":"9dfd623a21b0b1865fb918fac416ce542ecc065f","after":"3e1c66ee0eb2eafded8829af28b925fb16d161a2","ref":"refs/heads/master","pushedAt":"2024-04-17T17:24:11.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` (#111)\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=\"2248061386\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/111/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/111\">#111</a>)"}},{"before":null,"after":"9b318ef58623753a8ac71368d15780d071204bb8","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-857071d","pushedAt":"2024-04-17T11:29:02.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":"06b1d4cdf032d9ce01123f5ba643bb1902253b5e","after":"9dfd623a21b0b1865fb918fac416ce542ecc065f","ref":"refs/heads/master","pushedAt":"2024-04-11T05:49:59.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":"More reasonable implementation of add_resolve_to_db. (#109)\n\nWe stop relying on Hints.hint_constr and only add terms that look like a\r\nglobal reference. All callers are respecting this precondition as they go\r\nthrough a variant of abstract.","shortMessageHtmlLink":"More reasonable implementation of add_resolve_to_db. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2234292479\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/109\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/109/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/109\">#109</a>)"}},{"before":"ebd7475829d5e6927622776507315249c622b6ec","after":"06b1d4cdf032d9ce01123f5ba643bb1902253b5e","ref":"refs/heads/master","pushedAt":"2024-04-11T05:49:47.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.yml","shortMessageHtmlLink":"Update coq.yml"}},{"before":"9aaab981e167f87f0a31b2130fffa79123c392b4","after":"ebd7475829d5e6927622776507315249c622b6ec","ref":"refs/heads/master","pushedAt":"2024-04-10T14:27:15.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 w.r.t. coq/coq#18895. (#110)","shortMessageHtmlLink":"Adapt w.r.t. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2227671238\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18895\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18895/hovercard\" href=\"https://github.com/coq/coq/pull/18895\">coq/coq#18895</a>. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2235621281\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/110\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/110/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/110\">#110</a>)"}},{"before":"ab93950cd7f0f7f8807580917d03b159f678aab4","after":"9aaab981e167f87f0a31b2130fffa79123c392b4","ref":"refs/heads/master","pushedAt":"2024-04-09T16:47:34.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 w.r.t. coq/coq#18909. (#108)","shortMessageHtmlLink":"Adapt w.r.t. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2229755550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18909\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18909/hovercard\" href=\"https://github.com/coq/coq/pull/18909\">coq/coq#18909</a>. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2233847787\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/108\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/108/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/108\">#108</a>)"}},{"before":"b1686f7fc146f8b76346d0a97a11edd621bdcb25","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-5876e80","pushedAt":"2024-03-13T14:37:55.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":"b6810706a50aa1bc0dc8de3461e0ebc437bfdc6f","after":"ab93950cd7f0f7f8807580917d03b159f678aab4","ref":"refs/heads/master","pushedAt":"2024-03-13T14:37:52.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` (#107)\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=\"2183772820\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/107\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/107/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/107\">#107</a>)"}},{"before":null,"after":"b1686f7fc146f8b76346d0a97a11edd621bdcb25","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-5876e80","pushedAt":"2024-03-13T11:32:56.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":"157f13408ef9731ccf0829fbcac3c11b9856fb81","after":"b6810706a50aa1bc0dc8de3461e0ebc437bfdc6f","ref":"refs/heads/master","pushedAt":"2024-02-22T01:09:15.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/18590 (#105)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2108207360\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18590\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18590/hovercard\" href=\"https://github.com/coq/coq/pull/18590\">coq/coq#18590</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2147210042\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/105\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/105/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/105\">#105</a>)"}},{"before":"e4528758654ceff5183752f8d794091d0df6ac5e","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-7b54b75","pushedAt":"2023-12-25T18:00:27.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":"7e6df2190257e727c3d89d39b1684c048cffed35","after":"157f13408ef9731ccf0829fbcac3c11b9856fb81","ref":"refs/heads/master","pushedAt":"2023-12-25T18:00:23.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 `d3dc888` to `7b54b75` (#104)\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `7b54b75`.\r\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...7b54b756050f1c1237a8b89bb62ae06f6567e712)\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>d3dc888</code> to <code>7b54b75</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2055637843\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/104/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/104\">#104</a>)"}},{"before":null,"after":"e4528758654ceff5183752f8d794091d0df6ac5e","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-7b54b75","pushedAt":"2023-12-25T11:50:27.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 `d3dc888` to `7b54b75`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `7b54b75`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...7b54b756050f1c1237a8b89bb62ae06f6567e712)\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>d3dc888</code> to <code>7b54b75</code>"}},{"before":"3c2a1df721a3419f9428062ac15dd877a7a931c2","after":"7e6df2190257e727c3d89d39b1684c048cffed35","ref":"refs/heads/master","pushedAt":"2023-12-01T19:47: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":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"cf4aceea3a343f7d8a70f7dd972dad5b7e5e1f22","after":"3c2a1df721a3419f9428062ac15dd877a7a931c2","ref":"refs/heads/master","pushedAt":"2023-12-01T19:44:19.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#18164 (#103)","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943806593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18164/hovercard\" href=\"https://github.com/coq/coq/pull/18164\">coq/coq#18164</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2020877636\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/103\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/103/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/103\">#103</a>)"}},{"before":"bdc67e3234b0f70c7d5b7dba6905ae3c15d4e433","after":"cf4aceea3a343f7d8a70f7dd972dad5b7e5e1f22","ref":"refs/heads/master","pushedAt":"2023-11-30T21:00:39.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":"Change default target to the one used for Coq's CI","shortMessageHtmlLink":"Change default target to the one used for Coq's CI"}},{"before":"b90bb3632a2ae8243734f815a7ffca6001893b73","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-d3dc888","pushedAt":"2023-11-06T18:50:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"da5dcbe826af7bc98fdb33bccee9b8b5e2f68c18","after":"bdc67e3234b0f70c7d5b7dba6905ae3c15d4e433","ref":"refs/heads/master","pushedAt":"2023-11-06T18:50:54.000Z","pushType":"pr_merge","commitsCount":1,"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 `2df5dbe` to `d3dc888` (#102)","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>2df5dbe</code> to <code>d3dc888</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1979827579\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/102\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/102/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/102\">#102</a>)"}},{"before":null,"after":"b90bb3632a2ae8243734f815a7ffca6001893b73","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-d3dc888","pushedAt":"2023-11-06T18:40:24.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 `2df5dbe` to `d3dc888`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `2df5dbe` to `d3dc888`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/2df5dbe5c2d5381e8b5dd1fce6234672a3dc0686...d3dc8880aeef4755e93dac250ab9cc3184b80c13)\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>2df5dbe</code> to <code>d3dc888</code>"}},{"before":"ef58cea2a511883deb41faee99a3f43ab471a82f","after":null,"ref":"refs/heads/dependabot/submodules/etc/coq-scripts-2df5dbe","pushedAt":"2023-10-06T21:18:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"28ee30c136778700ff13df72339a8667d0896061","after":"da5dcbe826af7bc98fdb33bccee9b8b5e2f68c18","ref":"refs/heads/master","pushedAt":"2023-10-06T21:18:14.000Z","pushType":"pr_merge","commitsCount":1,"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 `8b66ebe` to `2df5dbe` (#101)","shortMessageHtmlLink":"Bump etc/coq-scripts from <code>8b66ebe</code> to <code>2df5dbe</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1930889154\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/fiat/issues/101\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/fiat/pull/101/hovercard\" href=\"https://github.com/mit-plv/fiat/pull/101\">#101</a>)"}},{"before":"97e561d0a65ccb58a54bbfb180628d0e53a9e359","after":"ef58cea2a511883deb41faee99a3f43ab471a82f","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-2df5dbe","pushedAt":"2023-10-06T20:53:02.000Z","pushType":"force_push","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 `8b66ebe` to `2df5dbe`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `8b66ebe` to `2df5dbe`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/8b66ebec09d641e5726d9931d4c99ae538f71283...2df5dbe5c2d5381e8b5dd1fce6234672a3dc0686)\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>8b66ebe</code> to <code>2df5dbe</code>"}},{"before":"2830ceaac17b569cb8d5564c52b86b1f6fb79bac","after":"28ee30c136778700ff13df72339a8667d0896061","ref":"refs/heads/master","pushedAt":"2023-10-06T20:49:51.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":"Add back targets to name","shortMessageHtmlLink":"Add back targets to name"}},{"before":"0e7f1d27de0642ea4dec0996a04d8a3bba7be4fc","after":"97e561d0a65ccb58a54bbfb180628d0e53a9e359","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-2df5dbe","pushedAt":"2023-10-06T20:46:23.000Z","pushType":"force_push","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 `8b66ebe` to `2df5dbe`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `8b66ebe` to `2df5dbe`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/8b66ebec09d641e5726d9931d4c99ae538f71283...2df5dbe5c2d5381e8b5dd1fce6234672a3dc0686)\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>8b66ebe</code> to <code>2df5dbe</code>"}},{"before":"fa8e3fcdc20d946fe5d974b1fa7f9446e93e15e9","after":"2830ceaac17b569cb8d5564c52b86b1f6fb79bac","ref":"refs/heads/master","pushedAt":"2023-10-06T20:45:48.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":"Add cancel-in-progress","shortMessageHtmlLink":"Add cancel-in-progress"}},{"before":"a134c0021d210037d2a872152f362479c1d76824","after":"0e7f1d27de0642ea4dec0996a04d8a3bba7be4fc","ref":"refs/heads/dependabot/submodules/etc/coq-scripts-2df5dbe","pushedAt":"2023-10-06T20:45:38.000Z","pushType":"force_push","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 `8b66ebe` to `2df5dbe`\n\nBumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `8b66ebe` to `2df5dbe`.\n- [Commits](https://github.com/JasonGross/coq-scripts/compare/8b66ebec09d641e5726d9931d4c99ae538f71283...2df5dbe5c2d5381e8b5dd1fce6234672a3dc0686)\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>8b66ebe</code> to <code>2df5dbe</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERdhwqgA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/fiat"}