{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":180381692,"defaultBranch":"master","name":"hierarchy-builder","ownerLogin":"math-comp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-04-09T14:10:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11424151?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726751379.0","currentOid":""},"activityList":{"items":[{"before":"c06647822253058385d523241e086f9cd3716f64","after":null,"ref":"refs/heads/fix-new-elpi-compiler","pushedAt":"2024-09-19T13:09:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"}},{"before":"449a79738549f88b0793fc4c34ed10a68ccffe72","after":"c6cb08d628ed1e666faeea6831ab382b03c0df19","ref":"refs/heads/master","pushedAt":"2024-09-19T13:09:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #445 from math-comp/fix-new-elpi-compiler\n\nput factory-alias->gref in the database","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536198577\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/445\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/445/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/445\">#445</a> from math-comp/fix-new-elpi-compiler"}},{"before":null,"after":"c06647822253058385d523241e086f9cd3716f64","ref":"refs/heads/fix-new-elpi-compiler","pushedAt":"2024-09-19T12:26:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"put factory-alias->gref in the database\n\nsince we accumulate clauses about it in HB.structure","shortMessageHtmlLink":"put factory-alias-&gt;gref in the database"}},{"before":"a756f695069a11fbfe1f48aad1f4bfffdd52f05e","after":"761b53b36a473b92e43947867fb8fd3da5d3e463","ref":"refs/heads/new_elpi_resolver","pushedAt":"2024-09-12T19:21:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"nix","shortMessageHtmlLink":"nix"}},{"before":"6c117d1562640223e4fc0f80134eea5d49a2bb8f","after":"a756f695069a11fbfe1f48aad1f4bfffdd52f05e","ref":"refs/heads/new_elpi_resolver","pushedAt":"2024-09-11T09:46:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"hack","shortMessageHtmlLink":"hack"}},{"before":null,"after":"6c117d1562640223e4fc0f80134eea5d49a2bb8f","ref":"refs/heads/new_elpi_resolver","pushedAt":"2024-09-11T08:08:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"hack","shortMessageHtmlLink":"hack"}},{"before":"1c6f7e1e78ca6ef64dd35e03d09d61a60cb1ea4b","after":"449a79738549f88b0793fc4c34ed10a68ccffe72","ref":"refs/heads/master","pushedAt":"2024-08-28T09:08:27.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #439 from proux01/ci-820\n\n[CI] Add Coq 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2487051823\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/439\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/439/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/439\">#439</a> from proux01/ci-820"}},{"before":"0df3c2778ecdcfefe4542d213011312555050cb1","after":"44a8965d561eb0434d90245e991e75b6c004ca02","ref":"refs/heads/internalcat","pushedAt":"2024-08-04T20:24:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat.v, minor changes","shortMessageHtmlLink":"updated IDoubleCat.v, minor changes"}},{"before":"2c5aaa225edaba259d950d4484e7e1531d90d6c2","after":"0df3c2778ecdcfefe4542d213011312555050cb1","ref":"refs/heads/internalcat","pushedAt":"2024-07-28T20:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat.v; HSource and HTarget functors OK","shortMessageHtmlLink":"updated IDoubleCat.v; HSource and HTarget functors OK"}},{"before":"6e68d173dd1e847ab328db0ee30ff0897225c2b3","after":"2c5aaa225edaba259d950d4484e7e1531d90d6c2","ref":"refs/heads/internalcat","pushedAt":"2024-07-26T15:07:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat_tmp1.v","shortMessageHtmlLink":"updated IDoubleCat_tmp1.v"}},{"before":"5f37676a951e6b7a215554b67c30364f57b35302","after":"1c6f7e1e78ca6ef64dd35e03d09d61a60cb1ea4b","ref":"refs/heads/master","pushedAt":"2024-07-26T07:56:47.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #437 from Tvallejos/doc-how-to-mathcomp\n\nat the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2425313922\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/437\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/437/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/437\">#437</a> from Tvallejos/doc-how-to-mathcomp"}},{"before":"3ac6c98ea2ff4c9fea2d86fd3c6382117f6461b4","after":"6e68d173dd1e847ab328db0ee30ff0897225c2b3","ref":"refs/heads/internalcat","pushedAt":"2024-07-25T11:47:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat_tmp1.v; check dcHSourceC_eqA","shortMessageHtmlLink":"updated IDoubleCat_tmp1.v; check dcHSourceC_eqA"}},{"before":"80399e44f2feffaf6cf63afdc7e7ab5ea822cffd","after":"3ac6c98ea2ff4c9fea2d86fd3c6382117f6461b4","ref":"refs/heads/internalcat","pushedAt":"2024-07-24T13:50:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat_tmp1.v; problem at source_Fhom_eq","shortMessageHtmlLink":"updated IDoubleCat_tmp1.v; problem at source_Fhom_eq"}},{"before":"e42899386a5a430cbcf5aaa057c83ff3f25067ec","after":"80399e44f2feffaf6cf63afdc7e7ab5ea822cffd","ref":"refs/heads/internalcat","pushedAt":"2024-07-24T13:43:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat_tmp1.v; problem at source_Fhom_eq","shortMessageHtmlLink":"updated IDoubleCat_tmp1.v; problem at source_Fhom_eq"}},{"before":"9535bbeb0fee2f60529c858fe3b185dafbeb4f78","after":"e42899386a5a430cbcf5aaa057c83ff3f25067ec","ref":"refs/heads/internalcat","pushedAt":"2024-07-23T22:50:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"minor changes","shortMessageHtmlLink":"minor changes"}},{"before":"5a3fcb880a988a2c8912858b51433440c91b7afb","after":"9535bbeb0fee2f60529c858fe3b185dafbeb4f78","ref":"refs/heads/internalcat","pushedAt":"2024-07-23T17:01:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"added comment to IDoubleCat_tmp1.v","shortMessageHtmlLink":"added comment to IDoubleCat_tmp1.v"}},{"before":"c7df9ad82c972d555567a798b47626ad9c49d127","after":"5a3fcb880a988a2c8912858b51433440c91b7afb","ref":"refs/heads/internalcat","pushedAt":"2024-07-23T11:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ptorrx","name":null,"path":"/ptorrx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12829778?s=80&v=4"},"commit":{"message":"updated IDoubleCat_tmp1.v","shortMessageHtmlLink":"updated IDoubleCat_tmp1.v"}},{"before":"9cdfb4587f05c26da88ce60dc9b183e1c53d8f97","after":null,"ref":"refs/heads/gares-patch-1","pushedAt":"2024-07-03T21:51:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"}},{"before":"8a72aef48189b4d922a4524294f643eb3a4477e0","after":"5f37676a951e6b7a215554b67c30364f57b35302","ref":"refs/heads/master","pushedAt":"2024-07-03T21:51:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #433 from math-comp/gares-patch-1\n\nmake copy-pack-holes failsafe","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2388877951\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/433\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/433/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/433\">#433</a> from math-comp/gares-patch-1"}},{"before":null,"after":"9cdfb4587f05c26da88ce60dc9b183e1c53d8f97","ref":"refs/heads/gares-patch-1","pushedAt":"2024-07-03T15:07:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"make copy-pack-holes failsafe","shortMessageHtmlLink":"make copy-pack-holes failsafe"}},{"before":"f22f3bbec5881f68e07fe95baa14a0bdc73e490c","after":null,"ref":"refs/heads/saturate-filter","pushedAt":"2024-06-27T15:20:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"}},{"before":"e4bbc3822482d5cbea99eec64201f2e1fa68198f","after":"8a72aef48189b4d922a4524294f643eb3a4477e0","ref":"refs/heads/master","pushedAt":"2024-06-27T14:55:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #414 from math-comp/saturate-filter\n\nHB.saturate: take a cs pattern as a filter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2171679952\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/414\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/414/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/414\">#414</a> from math-comp/saturate-filter"}},{"before":"226780f365b04299e69836e9011697fea1858135","after":"e4bbc3822482d5cbea99eec64201f2e1fa68198f","ref":"refs/heads/master","pushedAt":"2024-06-27T08:36:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Update nix (#424)\n\n* updating the toolbox","shortMessageHtmlLink":"Update nix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2356841845\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/424\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/424/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/424\">#424</a>)"}},{"before":"b4d1844281a3dbbd8f20ee157e819036fbffda6d","after":"5b4a090fc1773a2b40121a9166bfbc34c8a441c4","ref":"refs/heads/fix-proj-ty-primproj","pushedAt":"2024-06-19T08:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Update config.nix","shortMessageHtmlLink":"Update config.nix"}},{"before":"5132db8304604ecc643b1d5bfb87f701970e8d88","after":"226780f365b04299e69836e9011697fea1858135","ref":"refs/heads/master","pushedAt":"2024-06-18T16:14:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #426 from affeldt-aist/typo_20240618\n\ntypo addd in tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358871938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/426\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/426/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/426\">#426</a> from affeldt-aist/typo_20240618"}},{"before":"b0c98e2fcb6d432d1d9ff823b2d4c82636a382a2","after":"b4d1844281a3dbbd8f20ee157e819036fbffda6d","ref":"refs/heads/fix-proj-ty-primproj","pushedAt":"2024-06-18T14:13:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"use primproj for class->mixin builders","shortMessageHtmlLink":"use primproj for class-&gt;mixin builders"}},{"before":"a61c2fc087434a992c265605676a03b44ae7e385","after":null,"ref":"refs/heads/instance-perf","pushedAt":"2024-06-18T11:10:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"}},{"before":"85e0c6163823ac5b753877ec56e8cabbe50177f8","after":"5132db8304604ecc643b1d5bfb87f701970e8d88","ref":"refs/heads/master","pushedAt":"2024-06-17T16:32:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Merge pull request #425 from affeldt-aist/typo_20240617\n\ntypo addd","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357548760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/425\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/425/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/425\">#425</a> from affeldt-aist/typo_20240617"}},{"before":"8b1725c9d99e2f0ce6514998b125706aaeb550ac","after":"85e0c6163823ac5b753877ec56e8cabbe50177f8","ref":"refs/heads/master","pushedAt":"2024-06-17T16:30:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"improve HB.instance (#421)\n\nspeedup toposort and instance search","shortMessageHtmlLink":"improve HB.instance (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2343475796\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/hierarchy-builder/issues/421\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/hierarchy-builder/pull/421/hovercard\" href=\"https://github.com/math-comp/hierarchy-builder/pull/421\">#421</a>)"}},{"before":null,"after":"0bc4305165b7a4c635cc4cfbe2968c7c146825d9","ref":"refs/heads/update-nix","pushedAt":"2024-06-17T09:15:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"updating the toolbox","shortMessageHtmlLink":"updating the toolbox"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEuuCGYwA","startCursor":null,"endCursor":null}},"title":"Activity · math-comp/hierarchy-builder"}