{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":513073114,"defaultBranch":"main","name":"belgames","ownerLogin":"pPomCo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-12T09:09:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24637510?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1699268241.0","currentOid":""},"activityList":{"items":[{"before":"d99c42d809e7382f2257bffbd8140aac9049491a","after":null,"ref":"refs/heads/last_things_to_merge","pushedAt":"2023-11-06T10:29:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"}},{"before":"36a541d4b90265730a02c6dc3fc39117e6bdd895","after":"31df26f1073fceecffe0c72eacdb8cf6916de416","ref":"refs/heads/main","pushedAt":"2023-11-06T10:29:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Small updates and clean code (#6)\n\n* Decidable equality for addMassfuns\r\n\r\n* prBpa, prDist and mixed strategies\r\n\r\n* Last things to merge","shortMessageHtmlLink":"Small updates and clean code (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1978737540\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pPomCo/belgames/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pPomCo/belgames/pull/6/hovercard\" href=\"https://github.com/pPomCo/belgames/pull/6\">#6</a>)"}},{"before":"bd1fd357cb4cab44bf3807cce1cba9022362a6e5","after":"d99c42d809e7382f2257bffbd8140aac9049491a","ref":"refs/heads/last_things_to_merge","pushedAt":"2023-11-06T09:54:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Last things to merge","shortMessageHtmlLink":"Last things to merge"}},{"before":null,"after":"bd1fd357cb4cab44bf3807cce1cba9022362a6e5","ref":"refs/heads/last_things_to_merge","pushedAt":"2023-11-06T09:52:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"prBpa, prDist and mixed strategies","shortMessageHtmlLink":"prBpa, prDist and mixed strategies"}},{"before":"7134e84de2889efbf7ea5423778134766128e544","after":"36a541d4b90265730a02c6dc3fc39117e6bdd895","ref":"refs/heads/main","pushedAt":"2023-10-26T15:26:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"af5232ea32d166b757535455e347620622bd2bfd","ref":"refs/heads/mathcomp.2.1","pushedAt":"2023-10-26T15:19:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Update for mathcomp2.1 -- WIP (still fprod to fix)","shortMessageHtmlLink":"Update for mathcomp2.1 -- WIP (still fprod to fix)"}},{"before":"4d989f9ed2b3c9e40b3111d5f18bf85a5f3f029b","after":null,"ref":"refs/heads/gha-ITP2023","pushedAt":"2023-10-26T14:53:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"}},{"before":"09361d13dee3ad32f31b058f8720cf7e932e61f1","after":"277a1cfeba0d2145ff67e8a9dd9c584efe0f8706","ref":"refs/heads/ITP2023","pushedAt":"2023-10-26T14:53:06.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Merge pull request #4 from pPomCo/gha-ITP2023\n\nchore: Update docker-action.yml (ITP2023 branch)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944560882\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pPomCo/belgames/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pPomCo/belgames/pull/4/hovercard\" href=\"https://github.com/pPomCo/belgames/pull/4\">#4</a> from pPomCo/gha-ITP2023"}},{"before":"7cc720bfb1e59765f072261668ef90f71b5ba360","after":"4d989f9ed2b3c9e40b3111d5f18bf85a5f3f029b","ref":"refs/heads/gha-ITP2023","pushedAt":"2023-10-26T14:25:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[ITP2023] Fix compilation for mathcomp1.17, coq > 8.17","shortMessageHtmlLink":"[ITP2023] Fix compilation for mathcomp1.17, coq &gt; 8.17"}},{"before":"6e431486987f98e50fddaf49e7d7f8bae41746a6","after":"7cc720bfb1e59765f072261668ef90f71b5ba360","ref":"refs/heads/gha-ITP2023","pushedAt":"2023-10-26T14:00:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[ITP2023] Fix compilation for mathcomp1.17, coq > 8.17","shortMessageHtmlLink":"[ITP2023] Fix compilation for mathcomp1.17, coq &gt; 8.17"}},{"before":"56131dfddc104413f0a73729a04e03d1b2ad48e5","after":"7134e84de2889efbf7ea5423778134766128e544","ref":"refs/heads/main","pushedAt":"2023-10-26T13:54:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Change logical project name to \"BelGames\"","shortMessageHtmlLink":"Change logical project name to \"BelGames\""}},{"before":"77195fd8042d04e8fd9ec90aa6ab2f77b568b690","after":"56131dfddc104413f0a73729a04e03d1b2ad48e5","ref":"refs/heads/main","pushedAt":"2023-10-26T13:53:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Change logical project name to \"BelGames\"","shortMessageHtmlLink":"Change logical project name to \"BelGames\""}},{"before":"2b53acea1b87ca545c0b607e6d95e79615869e35","after":"6e431486987f98e50fddaf49e7d7f8bae41746a6","ref":"refs/heads/gha-ITP2023","pushedAt":"2023-10-26T13:25:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[ITP2023] Fix compilation for mathcomp1.17, coq > 8.17","shortMessageHtmlLink":"[ITP2023] Fix compilation for mathcomp1.17, coq &gt; 8.17"}},{"before":"d1e19246749817b18ec708c8f2509e1261028f06","after":"77195fd8042d04e8fd9ec90aa6ab2f77b568b690","ref":"refs/heads/main","pushedAt":"2023-10-26T13:13:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[decision] Switch to minSb and maxSb","shortMessageHtmlLink":"[decision] Switch to minSb and maxSb"}},{"before":"2c90a2293a8a7bd079636ab5966156fae35ab4d2","after":null,"ref":"refs/heads/gha-main","pushedAt":"2023-10-26T10:41:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"}},{"before":"a11c9e1319fd6636e634d52f396c4dffa399cdd3","after":"d1e19246749817b18ec708c8f2509e1261028f06","ref":"refs/heads/main","pushedAt":"2023-10-26T10:41:11.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Merge pull request #3 from pPomCo/gha-main\n\nchore: Update docker-action.yml (main branch)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1944560578\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pPomCo/belgames/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pPomCo/belgames/pull/3/hovercard\" href=\"https://github.com/pPomCo/belgames/pull/3\">#3</a> from pPomCo/gha-main"}},{"before":"904761f260a554d10defa237a9015749cdc94bfc","after":"2c90a2293a8a7bd079636ab5966156fae35ab4d2","ref":"refs/heads/gha-main","pushedAt":"2023-10-26T08:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs: Update pub_url","shortMessageHtmlLink":"docs: Update pub_url"}},{"before":"4f9022e6bcdd4d087aeac5231a325fa36766c0d4","after":"904761f260a554d10defa237a9015749cdc94bfc","ref":"refs/heads/gha-main","pushedAt":"2023-10-21T00:45:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix(coq-belgames.opam|meta.yml|README.md): versions","shortMessageHtmlLink":"fix(coq-belgames.opam|meta.yml|README.md): versions"}},{"before":"d72d7bf49adfe62fcfd872316d6d0677b260c485","after":"a11c9e1319fd6636e634d52f396c4dffa399cdd3","ref":"refs/heads/main","pushedAt":"2023-10-20T07:18:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[README] Update readme","shortMessageHtmlLink":"[README] Update readme"}},{"before":"d0b5da0e3572e3638183277bca41bdfb1278b14f","after":null,"ref":"refs/heads/decision","pushedAt":"2023-10-20T07:15:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"}},{"before":"043572f76e3e4127237fb917beaa90a052f629a0","after":"d72d7bf49adfe62fcfd872316d6d0677b260c485","ref":"refs/heads/main","pushedAt":"2023-10-20T07:15:00.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"Merge pull request #5 from pPomCo/decision\n\nDecision [merge]","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1953683856\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pPomCo/belgames/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pPomCo/belgames/pull/5/hovercard\" href=\"https://github.com/pPomCo/belgames/pull/5\">#5</a> from pPomCo/decision"}},{"before":"cbbe65f36c4ef57559344ec37056800288702fa4","after":"d0b5da0e3572e3638183277bca41bdfb1278b14f","ref":"refs/heads/decision","pushedAt":"2023-10-20T07:11:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[decision] Update readme","shortMessageHtmlLink":"[decision] Update readme"}},{"before":"1e34e43bb24031c3fae0bae72010444e1ce9b3d0","after":"cbbe65f36c4ef57559344ec37056800288702fa4","ref":"refs/heads/decision","pushedAt":"2023-10-20T07:09:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[decision] Update readme","shortMessageHtmlLink":"[decision] Update readme"}},{"before":"be55d29f7c0d594d66270aa16da5f5fa27be210d","after":"1e34e43bb24031c3fae0bae72010444e1ce9b3d0","ref":"refs/heads/decision","pushedAt":"2023-10-20T07:08:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[decision] Update readme","shortMessageHtmlLink":"[decision] Update readme"}},{"before":"98ef516517de4a3a03eac2f4b8a68b8f217ae549","after":"be55d29f7c0d594d66270aa16da5f5fa27be210d","ref":"refs/heads/decision","pushedAt":"2023-10-20T06:59:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[decision] Documentation","shortMessageHtmlLink":"[decision] Documentation"}},{"before":"e461fdd8bea93410e3129ca0d5f15d2fd4be94a4","after":"98ef516517de4a3a03eac2f4b8a68b8f217ae549","ref":"refs/heads/decision","pushedAt":"2023-10-19T13:13:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[merge projects] Missing lemma","shortMessageHtmlLink":"[merge projects] Missing lemma"}},{"before":"f7143578dd1d734576f1227988921cf51442a025","after":"e461fdd8bea93410e3129ca0d5f15d2fd4be94a4","ref":"refs/heads/decision","pushedAt":"2023-10-19T11:17:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pPomCo","name":"Pierre PomCo","path":"/pPomCo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24637510?s=80&v=4"},"commit":{"message":"[merge projects] Some fixes","shortMessageHtmlLink":"[merge projects] Some fixes"}},{"before":"04cc02650d2b850989412700e851df51008173c2","after":"4f9022e6bcdd4d087aeac5231a325fa36766c0d4","ref":"refs/heads/gha-main","pushedAt":"2023-10-17T23:54:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix(coq-belgames.opam|meta.yml|README.md): versions","shortMessageHtmlLink":"fix(coq-belgames.opam|meta.yml|README.md): versions"}},{"before":"201a7e13c67fcb613fbfc5ced92580156716449a","after":"04cc02650d2b850989412700e851df51008173c2","ref":"refs/heads/gha-main","pushedAt":"2023-10-17T23:44:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix(meta.yml, README.md): versions","shortMessageHtmlLink":"fix(meta.yml, README.md): versions"}},{"before":"1e0eede3b2c0ccb8c8c36562340e60a223b0a6bc","after":"2b53acea1b87ca545c0b607e6d95e79615869e35","ref":"refs/heads/gha-ITP2023","pushedAt":"2023-10-17T23:36:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: coq-belgames.opam","shortMessageHtmlLink":"fix: coq-belgames.opam"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADqEWcEgA","startCursor":null,"endCursor":null}},"title":"Activity · pPomCo/belgames"}