{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":42269036,"defaultBranch":"master","name":"fiat-crypto","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-09-10T20:29:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726819686.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"1d4f271d68a8bace0cd37daee58dd57a7941a145","ref":"refs/heads/dependabot/submodules/rewriter-1ce9f1a","pushedAt":"2024-09-20T08:08:06.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 rewriter from `19f344b` to `1ce9f1a`\n\nBumps [rewriter](https://github.com/mit-plv/rewriter) from `19f344b` to `1ce9f1a`.\n- [Release notes](https://github.com/mit-plv/rewriter/releases)\n- [Commits](https://github.com/mit-plv/rewriter/compare/19f344b0a675c0da2c40168e59418991ebe29271...1ce9f1a36de705f7e23e5b043914fc315e9aea40)\n\n---\nupdated-dependencies:\n- dependency-name: rewriter\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump rewriter from 19f344b to 1ce9f1a"}},{"before":"20271ad37856f972b9d49524045e2e432cf790b8","after":"18d1042e7f63e174884f12f21f8bfa13f66984f4","ref":"refs/heads/revert-1908-install-wasm-map","pushedAt":"2024-09-20T04:01:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Revert \"Also install .wasm.map files (#1908)\"\n\nThis reverts commit 861b5065f9a686552c8d7a5c280e8bf12b26fb2d.","shortMessageHtmlLink":"Revert \"Also install .wasm.map files (#1908)\""}},{"before":"26434f18f53ae883c4625674e29aa1708ab2a49a","after":"8dc165afa9a1346be5ee1a6b2e4be53bbd60aeb8","ref":"refs/heads/JasonGross-patch-1","pushedAt":"2024-09-20T03:55:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-docker.yml","shortMessageHtmlLink":"Update coq-docker.yml"}},{"before":"15f63d0e1e14cec3475be8bd5823f8a3ef28ea22","after":"d8b05088263303f40d6f7344e2c372f4ca4b5da6","ref":"refs/heads/master","pushedAt":"2024-09-20T03:52:57.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] [Windows] fix git config with bash","shortMessageHtmlLink":"[CI] [Windows] fix git config with bash"}},{"before":"11ef02961264bc6e928f1c809e50ad265abbc5cb","after":"26434f18f53ae883c4625674e29aa1708ab2a49a","ref":"refs/heads/JasonGross-patch-1","pushedAt":"2024-09-20T00:29:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-docker.yml","shortMessageHtmlLink":"Update coq-docker.yml"}},{"before":"d2e3c2ebf188de95118911297427ae57d173f2b9","after":null,"ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-20T00:29:09.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":"23e42a9e13938b24e8cdc748d0869b1a20308e86","after":"15f63d0e1e14cec3475be8bd5823f8a3ef28ea22","ref":"refs/heads/master","pushedAt":"2024-09-20T00:29:07.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] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939)\n\n* Update coq-windows.yml: remove depext and sunset repo\r\n\r\n* Update coq-windows.yml: pin ocamlfind fix\r\n\r\n* Update coq-windows.yml\r\n\r\n* use opam conf-time to install Windows depa\r\n\r\nsetup-ocaml no longer exposes cygwin\r\n\r\n* pin upstream ocamlfind\r\n\r\n* Update coq-windows.yml\r\n\r\n* Don't indirect through bash\r\n\r\n* Update coq-opam-package.yml\r\n\r\n---------\r\n\r\nCo-authored-by: Jason Gross ","shortMessageHtmlLink":"[CI] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939)"}},{"before":"26e851629b9fac886b71eaf4019a22e7e5244b37","after":"d2e3c2ebf188de95118911297427ae57d173f2b9","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-20T00:28:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-opam-package.yml","shortMessageHtmlLink":"Update coq-opam-package.yml"}},{"before":"0e6b3e850856c120de6b188b1cdb37b814a320eb","after":"23e42a9e13938b24e8cdc748d0869b1a20308e86","ref":"refs/heads/master","pushedAt":"2024-09-20T00:11:18.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":"Avoid error: wrong number of arguments, should be 2 in Windows opam CI","shortMessageHtmlLink":"Avoid error: wrong number of arguments, should be 2 in Windows opam CI"}},{"before":"cf17272f81db74088967e526967c74ff6ed56bca","after":"11ef02961264bc6e928f1c809e50ad265abbc5cb","ref":"refs/heads/JasonGross-patch-1","pushedAt":"2024-09-19T23:56:37.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-docker.yml","shortMessageHtmlLink":"Update coq-docker.yml"}},{"before":"14bf037c0d3f4c72ab5ffdf2cbfc9f367f32dbbd","after":"26e851629b9fac886b71eaf4019a22e7e5244b37","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-19T23:49:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-opam-package.yml","shortMessageHtmlLink":"Update coq-opam-package.yml"}},{"before":"1bca15ac939d085c74be7a2f40944c464955f607","after":"0e6b3e850856c120de6b188b1cdb37b814a320eb","ref":"refs/heads/master","pushedAt":"2024-09-19T23:49:26.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":"Don't rely on CYGWIN_ROOT in opam Windows CI","shortMessageHtmlLink":"Don't rely on CYGWIN_ROOT in opam Windows CI"}},{"before":"0cae4fe8e50b7f2929a6ec9c5041138cce2cbfe3","after":"14bf037c0d3f4c72ab5ffdf2cbfc9f367f32dbbd","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-19T23:47: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":"Update coq-opam-package.yml","shortMessageHtmlLink":"Update coq-opam-package.yml"}},{"before":"a767d6e42dd8de94f6ea81b93fd80ecd7d5d5d6a","after":"0cae4fe8e50b7f2929a6ec9c5041138cce2cbfe3","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-19T23:39: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":"Don't indirect through bash","shortMessageHtmlLink":"Don't indirect through bash"}},{"before":"9134f71eff9b42bbffef3b6c17e8c6c3a1a926c7","after":"a767d6e42dd8de94f6ea81b93fd80ecd7d5d5d6a","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-19T23:38:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-windows.yml","shortMessageHtmlLink":"Update coq-windows.yml"}},{"before":"7f0f40a1d307084c2874b7aee031df297bd7b9fd","after":"1bca15ac939d085c74be7a2f40944c464955f607","ref":"refs/heads/master","pushedAt":"2024-09-19T23:38:14.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":"Don't rely on CYGWIN_ROOT in windows config (For #1939)","shortMessageHtmlLink":"Don't rely on CYGWIN_ROOT in windows config (For #1939)"}},{"before":"4322df289706d4ea918e090f5f7f32d0019e840c","after":"7f0f40a1d307084c2874b7aee031df297bd7b9fd","ref":"refs/heads/master","pushedAt":"2024-09-19T19:05:05.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 (#1957)","shortMessageHtmlLink":"Adapt to coq/coq#19530 (#1957)"}},{"before":null,"after":"cf17272f81db74088967e526967c74ff6ed56bca","ref":"refs/heads/JasonGross-patch-1","pushedAt":"2024-09-19T18:35:43.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":"Simpler attempt to fix wasm_of_ocaml\n\nDon't install stdune","shortMessageHtmlLink":"Simpler attempt to fix wasm_of_ocaml"}},{"before":"8334b848f72169a76ed281069822b91b581fe7cf","after":"4322df289706d4ea918e090f5f7f32d0019e840c","ref":"refs/heads/master","pushedAt":"2024-09-19T18:32:32.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":"Reorder system info","shortMessageHtmlLink":"Reorder system info"}},{"before":"d248a7dac5b39af74676ea388d692f7522b02da8","after":"8334b848f72169a76ed281069822b91b581fe7cf","ref":"refs/heads/master","pushedAt":"2024-09-19T18:27:01.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":"List more files on github actions make","shortMessageHtmlLink":"List more files on github actions make"}},{"before":null,"after":"20271ad37856f972b9d49524045e2e432cf790b8","ref":"refs/heads/revert-1908-install-wasm-map","pushedAt":"2024-09-19T18:22:42.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":"Revert \"Also install .wasm.map files (#1908)\"\n\nThis reverts commit 861b5065f9a686552c8d7a5c280e8bf12b26fb2d.","shortMessageHtmlLink":"Revert \"Also install .wasm.map files (#1908)\""}},{"before":"2246243d90fcffa464e22f7786b34a558e26c943","after":"96ef9ac50e08092fec5c42f5833d34f91fb3e7eb","ref":"refs/heads/update-wasm-of-ocaml","pushedAt":"2024-09-18T19:58:01.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-docker.yml","shortMessageHtmlLink":"Update coq-docker.yml"}},{"before":"6e64f2b40a224bdb813463da0f3959b0ad5e17b3","after":"2246243d90fcffa464e22f7786b34a558e26c943","ref":"refs/heads/update-wasm-of-ocaml","pushedAt":"2024-09-18T07:42:02.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-docker.yml\n\nPin more than just dune as per https://github.com/ocaml-wasm/wasm_of_ocaml/issues/8#issuecomment-1824849644","shortMessageHtmlLink":"Update coq-docker.yml"}},{"before":"7de78557daf3ea6a2a815519faa0b80595361401","after":"6e64f2b40a224bdb813463da0f3959b0ad5e17b3","ref":"refs/heads/update-wasm-of-ocaml","pushedAt":"2024-09-18T07:38:25.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-docker.yml","shortMessageHtmlLink":"Update coq-docker.yml"}},{"before":null,"after":"7de78557daf3ea6a2a815519faa0b80595361401","ref":"refs/heads/update-wasm-of-ocaml","pushedAt":"2024-09-18T07:37:49.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":"Attempt to fix wasm_of_ocaml\n\nAs per https://github.com/ocaml-wasm/wasm_of_ocaml?tab=readme-ov-file#installation, to deal with the CI failure in https://github.com/mit-plv/fiat-crypto/pull/1957 / https://github.com/mit-plv/fiat-crypto/actions/runs/10906100009/job/30271149044?pr=1957","shortMessageHtmlLink":"Attempt to fix wasm_of_ocaml"}},{"before":"96601c0fe42992b21b5bae369e1eb40172a2ba32","after":null,"ref":"refs/heads/dependabot/github_actions/actions/setup-java-4.3.0","pushedAt":"2024-09-10T08:25:15.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":"d3af7967a35a727104ccab701ca943bdf10853e0","after":"d248a7dac5b39af74676ea388d692f7522b02da8","ref":"refs/heads/master","pushedAt":"2024-09-10T08:25:13.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 actions/setup-java from 4.2.2 to 4.3.0 (#1956)\n\nBumps [actions/setup-java](https://github.com/actions/setup-java) from 4.2.2 to 4.3.0.\n- [Release notes](https://github.com/actions/setup-java/releases)\n- [Commits](https://github.com/actions/setup-java/compare/v4.2.2...v4.3.0)\n\n---\nupdated-dependencies:\n- dependency-name: actions/setup-java\n dependency-type: direct:production\n update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] \nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump actions/setup-java from 4.2.2 to 4.3.0 (#1956)"}},{"before":"8672a180bd885fcc07c23049d150e246b9ff4f01","after":"9134f71eff9b42bbffef3b6c17e8c6c3a1a926c7","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-10T06:47:49.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-windows.yml","shortMessageHtmlLink":"Update coq-windows.yml"}},{"before":"5182fd6ebfad995ff2ae2e890a9ed75460f41648","after":"8672a180bd885fcc07c23049d150e246b9ff4f01","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-10T06:31: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":"pin upstream ocamlfind","shortMessageHtmlLink":"pin upstream ocamlfind"}},{"before":"ac3559519f4323732cfb9e9aac139989ca7221b7","after":"5182fd6ebfad995ff2ae2e890a9ed75460f41648","ref":"refs/heads/dependabot/github_actions/ocaml/setup-ocaml-3","pushedAt":"2024-09-10T06:19:32.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":"use opam conf-time to install Windows depa\n\nsetup-ocaml no longer exposes cygwin","shortMessageHtmlLink":"use opam conf-time to install Windows depa"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQwODowODowNi4wMDAwMDBazwAAAAS7s1hb","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQwODowODowNi4wMDAwMDBazwAAAAS7s1hb","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQwNjoxOTozMi4wMDAwMDBazwAAAASxq6as"}},"title":"Activity ยท mit-plv/fiat-crypto"}