{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":111550668,"defaultBranch":"main","name":"coqword","ownerLogin":"jasmin-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-11-21T13:11:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24634661?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717163933.0","currentOid":""},"activityList":{"items":[{"before":"d08074f166305d872a7de154765bcf67304f3e9e","after":"bd9a02dcc916f533320a21f3f724ab61002a6ede","ref":"refs/heads/release-2.x","pushedAt":"2024-05-31T13:58:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v2.4","shortMessageHtmlLink":"Release v2.4"}},{"before":"00c2a2072c066a7d732c427e51f6786ddb326ef7","after":"1abe5ade5240115aed1e3c140e261f1554af2322","ref":"refs/heads/main","pushedAt":"2024-05-31T13:20:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v3.2","shortMessageHtmlLink":"Release v3.2"}},{"before":"f8f819204d9183d4073477ea0e7350b163336cc2","after":"d08074f166305d872a7de154765bcf67304f3e9e","ref":"refs/heads/release-2.x","pushedAt":"2024-05-23T07:13:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Change implementation of lsr\n\n(cherry picked from commit 00c2a2072c066a7d732c427e51f6786ddb326ef7)","shortMessageHtmlLink":"Change implementation of lsr"}},{"before":"71f33845cbc4247bf1e9516d17700f703f6695f4","after":"00c2a2072c066a7d732c427e51f6786ddb326ef7","ref":"refs/heads/main","pushedAt":"2024-05-23T06:57:25.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":"Change implementation of lsr","shortMessageHtmlLink":"Change implementation of lsr"}},{"before":"48ca41b54fe315ca2efcee5f8dd8ee3fb33a7de1","after":"f8f819204d9183d4073477ea0e7350b163336cc2","ref":"refs/heads/release-2.x","pushedAt":"2024-05-22T11:35:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Add lemma urepr_lsr\n\nThis makes it easier to change the implementation of lsr\n\n(cherry picked from commit 71f33845cbc4247bf1e9516d17700f703f6695f4)","shortMessageHtmlLink":"Add lemma urepr_lsr"}},{"before":"a7f2d08c132e09c036521768ea511b70c2023e9e","after":"71f33845cbc4247bf1e9516d17700f703f6695f4","ref":"refs/heads/main","pushedAt":"2024-05-22T11:33:43.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 lemma urepr_lsr\n\nThis makes it easier to change the implementation of lsr","shortMessageHtmlLink":"Add lemma urepr_lsr"}},{"before":"a7f2d08c132e09c036521768ea511b70c2023e9e","after":null,"ref":"refs/heads/prepare-v3.1","pushedAt":"2024-03-21T10:27:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"}},{"before":"a731bc701b9ae0a4ff1819301eb2f1f0a61b4008","after":"a7f2d08c132e09c036521768ea511b70c2023e9e","ref":"refs/heads/main","pushedAt":"2024-03-21T10:27:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v3.1","shortMessageHtmlLink":"Release v3.1"}},{"before":"48ca41b54fe315ca2efcee5f8dd8ee3fb33a7de1","after":null,"ref":"refs/heads/prepare-v2.3","pushedAt":"2024-03-21T10:14:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"}},{"before":"f42c6c8fecc2f1d957d6ce9a983d3bf2a44fe670","after":"48ca41b54fe315ca2efcee5f8dd8ee3fb33a7de1","ref":"refs/heads/release-2.x","pushedAt":"2024-03-21T10:13:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v2.3","shortMessageHtmlLink":"Release v2.3"}},{"before":null,"after":"a7f2d08c132e09c036521768ea511b70c2023e9e","ref":"refs/heads/prepare-v3.1","pushedAt":"2024-03-21T09:59:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v3.1","shortMessageHtmlLink":"Release v3.1"}},{"before":null,"after":"48ca41b54fe315ca2efcee5f8dd8ee3fb33a7de1","ref":"refs/heads/prepare-v2.3","pushedAt":"2024-03-21T09:16:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v2.3","shortMessageHtmlLink":"Release v2.3"}},{"before":"f42c6c8fecc2f1d957d6ce9a983d3bf2a44fe670","after":null,"ref":"refs/heads/2.x-less-algebra","pushedAt":"2024-03-21T09:10:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"}},{"before":"4f8db17bcc609da73d53f8aea5d7c7e68421de07","after":"f42c6c8fecc2f1d957d6ce9a983d3bf2a44fe670","ref":"refs/heads/release-2.x","pushedAt":"2024-03-21T09:10:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Do not require all_algebra","shortMessageHtmlLink":"Do not require all_algebra"}},{"before":"7e342b5900da83c84dbc9fb41076c2fd5a812a1f","after":null,"ref":"refs/heads/less-algebra","pushedAt":"2024-03-21T09:08:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"}},{"before":"39e89dbba0a75b7442f47af15a96009a53e95820","after":"a731bc701b9ae0a4ff1819301eb2f1f0a61b4008","ref":"refs/heads/main","pushedAt":"2024-03-21T09:08:06.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":"Do not require all_algebra","shortMessageHtmlLink":"Do not require all_algebra"}},{"before":"4f8db17bcc609da73d53f8aea5d7c7e68421de07","after":null,"ref":"refs/heads/mathcomp-1.19","pushedAt":"2024-03-21T08:40:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"}},{"before":"537141ac0dbdd0a0ca2b409826d93a6f8398b0b3","after":"4f8db17bcc609da73d53f8aea5d7c7e68421de07","ref":"refs/heads/release-2.x","pushedAt":"2024-03-21T07:30:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark compatible with mathcomp 1.19","shortMessageHtmlLink":"Mark compatible with mathcomp 1.19"}},{"before":null,"after":"f42c6c8fecc2f1d957d6ce9a983d3bf2a44fe670","ref":"refs/heads/2.x-less-algebra","pushedAt":"2024-03-21T05:58:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Do not require all_algebra","shortMessageHtmlLink":"Do not require all_algebra"}},{"before":"8a692553d32a99ee09d8dfb6cb5ff697b80e5451","after":"4f8db17bcc609da73d53f8aea5d7c7e68421de07","ref":"refs/heads/mathcomp-1.19","pushedAt":"2024-03-21T05:54:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark compatible with mathcomp 1.19","shortMessageHtmlLink":"Mark compatible with mathcomp 1.19"}},{"before":null,"after":"537141ac0dbdd0a0ca2b409826d93a6f8398b0b3","ref":"refs/heads/release-2.x","pushedAt":"2024-03-21T05:52:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v2.2","shortMessageHtmlLink":"Release v2.2"}},{"before":"384b10772fe95d2cf41c74a2387732fec3ce3707","after":"7e342b5900da83c84dbc9fb41076c2fd5a812a1f","ref":"refs/heads/less-algebra","pushedAt":"2024-03-21T05:50:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Do not require all_algebra","shortMessageHtmlLink":"Do not require all_algebra"}},{"before":"39e89dbba0a75b7442f47af15a96009a53e95820","after":null,"ref":"refs/heads/mathcomp-2.2","pushedAt":"2024-03-21T05:50:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"}},{"before":"960a955210b5fe08a610e868070ef61f35cb9a0b","after":"39e89dbba0a75b7442f47af15a96009a53e95820","ref":"refs/heads/main","pushedAt":"2024-03-21T05:49:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark compatible with MC 2.2 & Coq 8.19","shortMessageHtmlLink":"Mark compatible with MC 2.2 & Coq 8.19"}},{"before":null,"after":"39e89dbba0a75b7442f47af15a96009a53e95820","ref":"refs/heads/mathcomp-2.2","pushedAt":"2024-03-20T21:25:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark compatible with MC 2.2 & Coq 8.19","shortMessageHtmlLink":"Mark compatible with MC 2.2 & Coq 8.19"}},{"before":"ea00b1daa9141edc2898cd7851f132019076b9ae","after":"384b10772fe95d2cf41c74a2387732fec3ce3707","ref":"refs/heads/less-algebra","pushedAt":"2024-03-20T20:23:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Do not require all_algebra","shortMessageHtmlLink":"Do not require all_algebra"}},{"before":null,"after":"ea00b1daa9141edc2898cd7851f132019076b9ae","ref":"refs/heads/less-algebra","pushedAt":"2024-03-20T19:59:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"CI: update actions/checkout to v4","shortMessageHtmlLink":"CI: update actions/checkout to v4"}},{"before":"4143cf6cfc937cd3c13ad44d4a8c120965e9fc40","after":"8a692553d32a99ee09d8dfb6cb5ff697b80e5451","ref":"refs/heads/mathcomp-1.19","pushedAt":"2024-03-20T17:42:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Do not require all_algebra","shortMessageHtmlLink":"Do not require all_algebra"}},{"before":null,"after":"4143cf6cfc937cd3c13ad44d4a8c120965e9fc40","ref":"refs/heads/mathcomp-1.19","pushedAt":"2024-01-31T14:44:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Mark compatible with mathcomp 1.19","shortMessageHtmlLink":"Mark compatible with mathcomp 1.19"}},{"before":"cbb2ecf48c705605c3b4df80842017ef74d13a8d","after":"960a955210b5fe08a610e868070ef61f35cb9a0b","ref":"refs/heads/main","pushedAt":"2023-11-22T08:56:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Release v3.0","shortMessageHtmlLink":"Release v3.0"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0zMVQxMzo1ODo0OC4wMDAwMDBazwAAAARZFZrG","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0zMVQxMzo1ODo0OC4wMDAwMDBazwAAAARZFZrG","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yMlQwODo1NjoyNi4wMDAwMDBazwAAAAO1Atjj"}},"title":"Activity · jasmin-lang/coqword"}