{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":14023027,"defaultBranch":"master","name":"coq-of-ocaml","ownerLogin":"formal-land","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-10-31T17:00:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/82529334?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1706471435.0","currentOid":""},"activityList":{"items":[{"before":"d8a5512c5e1fbe9ec94b1d702ca8bfeb3224139b","after":"0912824ade2c53394ce3f3eefd0b023519ec9914","ref":"refs/heads/master","pushedAt":"2024-08-05T08:22:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Merge pull request #232 from jmikedupont2/patch-1\n\nremoving 404","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2447264073\" data-permission-text=\"Title is private\" data-url=\"https://github.com/formal-land/coq-of-ocaml/issues/232\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/formal-land/coq-of-ocaml/pull/232/hovercard\" href=\"https://github.com/formal-land/coq-of-ocaml/pull/232\">#232</a> from jmikedupont2/patch-1"}},{"before":"ec312248682c9906b37e6e8916ec4611c12115d2","after":"d8a5512c5e1fbe9ec94b1d702ca8bfeb3224139b","ref":"refs/heads/master","pushedAt":"2024-06-26T15:55:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"1613375b1903f6fd38fc250a3fabd793f54941db","after":"8812f06127388bc43e6dc59d3566dae40791e7ad","ref":"refs/heads/ocaml-4.14","pushedAt":"2024-01-31T10:19:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Minor edit on README","shortMessageHtmlLink":"Minor edit on README"}},{"before":"388c8509754d0feec49eaa99c5ad7cfdbf7b2b44","after":"1613375b1903f6fd38fc250a3fabd793f54941db","ref":"refs/heads/ocaml-4.14","pushedAt":"2024-01-31T10:17:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Minor edit on README","shortMessageHtmlLink":"Minor edit on README"}},{"before":"25e71b7eeb9f50d9fb9e705f3bd7df8edc5558a6","after":"4988eb3e7431d85388736f5fe9cb023dd920772b","ref":"refs/heads/ocaml-4.13","pushedAt":"2024-01-31T10:17:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Upgrade ocamlformat","shortMessageHtmlLink":"Upgrade ocamlformat"}},{"before":"180f8f2ab5548680a305cacec7f41ee6c680bbf9","after":"ec312248682c9906b37e6e8916ec4611c12115d2","ref":"refs/heads/master","pushedAt":"2024-01-31T10:15:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Create FUNDING.yml","shortMessageHtmlLink":"Create FUNDING.yml"}},{"before":"6de401ac965a6ae604096fab3332baf8a54b49a1","after":"388c8509754d0feec49eaa99c5ad7cfdbf7b2b44","ref":"refs/heads/ocaml-4.14","pushedAt":"2024-01-29T08:55:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Minor edit on README","shortMessageHtmlLink":"Minor edit on README"}},{"before":"651c33bbe9ef20f2466ae8add3d8f316ec25985a","after":"25e71b7eeb9f50d9fb9e705f3bd7df8edc5558a6","ref":"refs/heads/ocaml-4.13","pushedAt":"2024-01-28T19:53:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Upgrade ocamlformat","shortMessageHtmlLink":"Upgrade ocamlformat"}},{"before":"da8dbc09af90f66140d5da7e3d46b23bd8ad1377","after":null,"ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-28T19:50:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"}},{"before":"9195b8689759aef5e38448de658bf5629bea6c6b","after":"180f8f2ab5548680a305cacec7f41ee6c680bbf9","ref":"refs/heads/master","pushedAt":"2024-01-28T19:50:33.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Merge pull request #230 from formal-land/guillaume-claret@fix-coq-8.18\n\nAdd compatibility with Coq 8.17 and 8.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2082186412\" data-permission-text=\"Title is private\" data-url=\"https://github.com/formal-land/coq-of-ocaml/issues/230\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/formal-land/coq-of-ocaml/pull/230/hovercard\" href=\"https://github.com/formal-land/coq-of-ocaml/pull/230\">#230</a> from formal-land/guillaume-claret@fix-coq-8.18"}},{"before":"7a5bda390427919a412024278d05aee91e66dbad","after":"da8dbc09af90f66140d5da7e3d46b23bd8ad1377","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-26T17:10:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"ci: add more Coq versions to check","shortMessageHtmlLink":"ci: add more Coq versions to check"}},{"before":"79a5f9fd6cf410f475e274a6ca1a34a86f387062","after":"7a5bda390427919a412024278d05aee91e66dbad","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-18T15:26:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"ci: add more Coq versions to check","shortMessageHtmlLink":"ci: add more Coq versions to check"}},{"before":"6f0ba31dd7c07ccecea7f43c504f6ffdd8babfc3","after":"79a5f9fd6cf410f475e274a6ca1a34a86f387062","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-18T15:24:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Add compatibility with Coq 8.17 and 8.18","shortMessageHtmlLink":"Add compatibility with Coq 8.17 and 8.18"}},{"before":"feab1294262d90f735aaa12b2d632b7fc1704b93","after":"6f0ba31dd7c07ccecea7f43c504f6ffdd8babfc3","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-18T15:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"test ci docker","shortMessageHtmlLink":"test ci docker"}},{"before":"aaefe867694ca2149f7a32f696a5ff8655f59c34","after":"feab1294262d90f735aaa12b2d632b7fc1704b93","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-15T15:39:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"ci: use coqorg Docker images","shortMessageHtmlLink":"ci: use coqorg Docker images"}},{"before":"79a5f9fd6cf410f475e274a6ca1a34a86f387062","after":"aaefe867694ca2149f7a32f696a5ff8655f59c34","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-15T15:10:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"ci: use coqorg Docker images","shortMessageHtmlLink":"ci: use coqorg Docker images"}},{"before":null,"after":"79a5f9fd6cf410f475e274a6ca1a34a86f387062","ref":"refs/heads/guillaume-claret@fix-coq-8.18","pushedAt":"2024-01-15T14:48:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"clarus","name":"Guillaume Claret","path":"/clarus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/316665?s=80&v=4"},"commit":{"message":"Add compatibility with Coq 8.17 and 8.18","shortMessageHtmlLink":"Add compatibility with Coq 8.17 and 8.18"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wNVQwODoyMjo0MC4wMDAwMDBazwAAAASRyXpO","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wNVQwODoyMjo0MC4wMDAwMDBazwAAAASRyXpO","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xNVQxNDo0ODo0Ny4wMDAwMDBazwAAAAPgJLtC"}},"title":"Activity · formal-land/coq-of-ocaml"}