{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":338370962,"defaultBranch":"master","name":"coq-nix-toolbox","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-12T16:24:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726309038.0","currentOid":""},"activityList":{"items":[{"before":"c87778822c3b6b845ff7bd497849e6f3c8dd4627","after":"0bd531b08d22fa40b3c7f7c7da7f67ab43dfcb7d","ref":"refs/heads/stdlib-test","pushedAt":"2024-09-21T13:38:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}},{"before":"24e96b4870378d5e87fd2d0dd46405b471c286ab","after":"b472641a6662a06901b280845b1473e7d6b08ab5","ref":"refs/heads/master","pushedAt":"2024-09-20T11:25:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"autosubst 1.9 (#265)\n\nUpdate after NixOS/nixpkgs#342990","shortMessageHtmlLink":"autosubst 1.9 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2538082569\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/265\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/265/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/265\">#265</a>)"}},{"before":"4121bc84cde4e501c8925aa348045afa1b675497","after":"24e96b4870378d5e87fd2d0dd46405b471c286ab","ref":"refs/heads/master","pushedAt":"2024-09-18T09:46:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"aa6e9a7279572e6bc3d7be70c9fa5767db03840e","after":"4121bc84cde4e501c8925aa348045afa1b675497","ref":"refs/heads/master","pushedAt":"2024-09-16T09:55:27.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #262 from proux01/mtac2\n\ncoqPackages.mtac2: init at 1.4-coq8.19","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2524994301\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/262\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/262/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/262\">#262</a> from proux01/mtac2"}},{"before":"f0802449a3036adcebe7c3c24ca53d24e4865a96","after":null,"ref":"refs/heads/hb-install","pushedAt":"2024-09-14T10:17:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"85fe71740440d17baca09184b3829ab638a4bfe8","after":"aa6e9a7279572e6bc3d7be70c9fa5767db03840e","ref":"refs/heads/master","pushedAt":"2024-09-14T10:17:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #261 from coq-community/hb-install\n\nTest https://github.com/NixOS/nixpkgs/pull/341171","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519376372\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/261\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/261/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/261\">#261</a> from coq-community/hb-install"}},{"before":"16dc76a77fdbf1f0fb27a5aa69ee8fceb4ff0ff3","after":"f0802449a3036adcebe7c3c24ca53d24e4865a96","ref":"refs/heads/hb-install","pushedAt":"2024-09-13T14:28:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test https://github.com/NixOS/nixpkgs/pull/341171","shortMessageHtmlLink":"Test <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519239948\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NixOS/nixpkgs/issues/341171\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/NixOS/nixpkgs/pull/341171/hovercard\" href=\"https://github.com/NixOS/nixpkgs/pull/341171\">NixOS/nixpkgs#341171</a>"}},{"before":"a9f1e055901cba59260d03d64f523089bf63169c","after":"85fe71740440d17baca09184b3829ab638a4bfe8","ref":"refs/heads/master","pushedAt":"2024-09-11T12:58:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"ssprove 0.2.1 (#260)\n\nUpdate after NixOS/nixpkgs#327401","shortMessageHtmlLink":"ssprove 0.2.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519250861\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/260\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/260/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/260\">#260</a>)"}},{"before":null,"after":"16dc76a77fdbf1f0fb27a5aa69ee8fceb4ff0ff3","ref":"refs/heads/hb-install","pushedAt":"2024-09-11T10:41:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test https://github.com/NixOS/nixpkgs/pull/341171","shortMessageHtmlLink":"Test <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519239948\" data-permission-text=\"Title is private\" data-url=\"https://github.com/NixOS/nixpkgs/issues/341171\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/NixOS/nixpkgs/pull/341171/hovercard\" href=\"https://github.com/NixOS/nixpkgs/pull/341171\">NixOS/nixpkgs#341171</a>"}},{"before":"ca1f1395609f92b6e67055dfe0f4e6f222f2b8f1","after":"a9f1e055901cba59260d03d64f523089bf63169c","ref":"refs/heads/master","pushedAt":"2024-09-11T09:52:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"gappalib for Coq 8.20\n\nitauto for Coq 8.20\n\ncoq-lsp for Coq 8.20\n\nserapi for Coq 8.20\n\nUpdate after NixOS/nixpkgs#340691","shortMessageHtmlLink":"gappalib for Coq 8.20"}},{"before":"6195ab04804112ccc65ca3f8b68653fa489311ef","after":"ca1f1395609f92b6e67055dfe0f4e6f222f2b8f1","ref":"refs/heads/master","pushedAt":"2024-09-11T08:19:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"MetaCoq for Coq 8.20\n\nUpdate after NixOS/nixpkgs#341091","shortMessageHtmlLink":"MetaCoq for Coq 8.20"}},{"before":"02a69c669c6226c52c369038ac4a395971fc9fdf","after":"6195ab04804112ccc65ca3f8b68653fa489311ef","ref":"refs/heads/master","pushedAt":"2024-09-05T08:07:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #257 from proux01/coq820\n\ncoq: 8.20+rc1 -> 8.20.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505217351\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/257\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/257/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/257\">#257</a> from proux01/coq820"}},{"before":"5254e6f6db92774d08b5fd522f9ce29170ade14b","after":"02a69c669c6226c52c369038ac4a395971fc9fdf","ref":"refs/heads/master","pushedAt":"2024-09-02T16:17:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #256 from Alizter/ps/rr/coq_lsp__0_1_9____0_2_0\n\ncoq-lsp: 0.1.9 -> 0.2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2499336859\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/256\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/256/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/256\">#256</a> from Alizter/ps/rr/coq_lsp__0_1_9____0_2_0"}},{"before":"429b77927e92aad0bab2e0d8f04af9928846bcda","after":"c87778822c3b6b845ff7bd497849e6f3c8dd4627","ref":"refs/heads/stdlib-test","pushedAt":"2024-08-29T12:57:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}},{"before":"5803288a91c8914a9c67469a5e8ef53cdfee9248","after":"5254e6f6db92774d08b5fd522f9ce29170ade14b","ref":"refs/heads/master","pushedAt":"2024-08-28T16:22:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #254 from proux01/coq-rewriter\n\nTest rewriter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2491779910\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/254\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/254/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/254\">#254</a> from proux01/coq-rewriter"}},{"before":"b9df5ca7a7acfdfa40f1c885360ad05ea8aa1c3f","after":"5803288a91c8914a9c67469a5e8ef53cdfee9248","ref":"refs/heads/master","pushedAt":"2024-08-28T11:02:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #253 from proux01/coq-waterproof\n\ncoqPackages.waterproof: init at 2.1.1+8.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2489298126\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/253\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/253/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/253\">#253</a> from proux01/coq-waterproof"}},{"before":"a8ab933c548cf9eac390a5dddaad7cf226758213","after":"b9df5ca7a7acfdfa40f1c885360ad05ea8aa1c3f","ref":"refs/heads/master","pushedAt":"2024-08-27T12:53:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #252 from proux01/coq-bbv\n\nTest bbv","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2488565375\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/252\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/252/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/252\">#252</a> from proux01/coq-bbv"}},{"before":"aa2e056828b06b7872ccbaf70362d554fab5c9d9","after":"a8ab933c548cf9eac390a5dddaad7cf226758213","ref":"refs/heads/master","pushedAt":"2024-08-26T11:44:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #250 from proux01/coq-http\n\ncoqPackages.http: init at 0.2.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480386349\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/250\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/250/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/250\">#250</a> from proux01/coq-http"}},{"before":"2f119075b1b8c638f1ee5d991d08f6b4ff6f800a","after":"aa2e056828b06b7872ccbaf70362d554fab5c9d9","ref":"refs/heads/master","pushedAt":"2024-08-22T11:34:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #251 from proux01/fix-deprecation\n\nFix deprecation warning about mapAttrsFlatten","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2480552193\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/251\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/251/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/251\">#251</a> from proux01/fix-deprecation"}},{"before":"e7140dd95ad1d0ed3e60a05fe369a7b85d1d2421","after":"2f119075b1b8c638f1ee5d991d08f6b4ff6f800a","ref":"refs/heads/master","pushedAt":"2024-08-22T09:41:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #248 from proux01/coq-atbr\n\ncoqPackages.atbr: init at 8.20.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2453793990\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/248\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/248/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/248\">#248</a> from proux01/coq-atbr"}},{"before":"a57f33965818aa44b9f399f6caaea544e2e07a86","after":"429b77927e92aad0bab2e0d8f04af9928846bcda","ref":"refs/heads/stdlib-test","pushedAt":"2024-08-21T14:19:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}},{"before":"e6a0f1b0dc75f82ee5da1965c719318e71075eb1","after":"a57f33965818aa44b9f399f6caaea544e2e07a86","ref":"refs/heads/stdlib-test","pushedAt":"2024-08-21T14:11:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}},{"before":"59db70e245557157fbe7d9d06edf6c4c32d7aeca","after":"e6a0f1b0dc75f82ee5da1965c719318e71075eb1","ref":"refs/heads/stdlib-test","pushedAt":"2024-08-20T17:36:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}},{"before":"99e1b9667a41d61bbad4ecad11f936d48fc34ac1","after":"e7140dd95ad1d0ed3e60a05fe369a7b85d1d2421","ref":"refs/heads/master","pushedAt":"2024-08-20T13:56:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Add MenhirLib & use it in CompCert (#249)\n\nUpdate after NixOS/nixpkgs#334922","shortMessageHtmlLink":"Add MenhirLib &amp; use it in CompCert (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475037760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/249\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/249/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/249\">#249</a>)"}},{"before":"71ce950dc44c719bf83587321f4f7eb07e189ab5","after":"99e1b9667a41d61bbad4ecad11f936d48fc34ac1","ref":"refs/heads/master","pushedAt":"2024-08-20T12:09:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #241 from proux01/mc2-default\n\nmathcomp: 1 -> 2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2440238141\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/241\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/241/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/241\">#241</a> from proux01/mc2-default"}},{"before":"208d8cd3c82113f719ae67d7652203da3fbbcbe4","after":"71ce950dc44c719bf83587321f4f7eb07e189ab5","ref":"refs/heads/master","pushedAt":"2024-08-14T11:53:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"interval: 4.10.0 → 4.11.0 (#247)\n\nUpdate after NixOS/nixpkgs#332991","shortMessageHtmlLink":"interval: 4.10.0 → 4.11.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2453256347\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/247\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/247/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/247\">#247</a>)"}},{"before":"0c3944888de2071252ffb9a2744f08f7ac06f8b9","after":"208d8cd3c82113f719ae67d7652203da3fbbcbe4","ref":"refs/heads/master","pushedAt":"2024-08-07T14:29:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Test coinduction (#246)\n\nUpdate after NixOS/nixpkgs#331775","shortMessageHtmlLink":"Test coinduction (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444850618\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/246\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/246/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/246\">#246</a>)"}},{"before":"cd7c1f2abd0fd7f22d483ca6924300727db017be","after":"0c3944888de2071252ffb9a2744f08f7ac06f8b9","ref":"refs/heads/master","pushedAt":"2024-08-07T11:27:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Test stalmarck (#245)\n\nUpdate after NixOS/nixpkgs#331760","shortMessageHtmlLink":"Test stalmarck (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444770555\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/coq-nix-toolbox/issues/245\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/coq-nix-toolbox/pull/245/hovercard\" href=\"https://github.com/coq-community/coq-nix-toolbox/pull/245\">#245</a>)"}},{"before":"f07cb1d77e2f680229f760a2025be45bfe6b9adf","after":"59db70e245557157fbe7d9d06edf6c4c32d7aeca","ref":"refs/heads/stdlib-test","pushedAt":"2024-08-02T09:55:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}},{"before":"e6820a6ba15f8ba9eeda26e9c85e5f448cc99774","after":"f07cb1d77e2f680229f760a2025be45bfe6b9adf","ref":"refs/heads/stdlib-test","pushedAt":"2024-08-02T09:25:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Test stdlib","shortMessageHtmlLink":"Test stdlib"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxMzozODo0NC4wMDAwMDBazwAAAAS8uTci","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxMzozODo0NC4wMDAwMDBazwAAAAS8uTci","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wMlQwOToyNTozNC4wMDAwMDBazwAAAASP_snE"}},"title":"Activity · coq-community/coq-nix-toolbox"}