{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":494483299,"defaultBranch":"main","name":"commutative-diagrams","ownerLogin":"dwarfmaster","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-20T13:51:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2025623?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695217234.0","currentOid":""},"activityList":{"items":[{"before":"1ec862635b2a7d40f20edb619cdbed41ecb77091","after":"545c718123ebe29471dd55c88bf48328b0cf5d42","ref":"refs/heads/split-crates","pushedAt":"2023-10-03T08:16:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine] Move desktop from bevy to eframe","shortMessageHtmlLink":"[engine] Move desktop from bevy to eframe"}},{"before":"ad63b494f22259f2ba07a9bc99c96f2debe4a0a3","after":"1ec862635b2a7d40f20edb619cdbed41ecb77091","ref":"refs/heads/split-crates","pushedAt":"2023-10-02T23:14:28.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine] Move desktop from bevy to eframe","shortMessageHtmlLink":"[engine] Move desktop from bevy to eframe"}},{"before":"64455ee6bb3c53c0edcaf2573cb7ac642e895c6d","after":"ad63b494f22259f2ba07a9bc99c96f2debe4a0a3","ref":"refs/heads/split-crates","pushedAt":"2023-09-28T13:27:36.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Can connect to unix socket if COMDIAG_SOCKET is set","shortMessageHtmlLink":"[coq] Can connect to unix socket if COMDIAG_SOCKET is set"}},{"before":"2fa2ecfd228f7c8f8c554e1af1fa2a8087cbd57f","after":"64455ee6bb3c53c0edcaf2573cb7ac642e895c6d","ref":"refs/heads/split-crates","pushedAt":"2023-09-28T10:32:12.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine/web] Setup server to create a unix socket and bind it to the websocket","shortMessageHtmlLink":"[engine/web] Setup server to create a unix socket and bind it to the …"}},{"before":"803877d8550664df1cbef1b2692ceb990841a4fc","after":"2fa2ecfd228f7c8f8c554e1af1fa2a8087cbd57f","ref":"refs/heads/split-crates","pushedAt":"2023-09-21T14:41:44.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine] Factor main UI in lib","shortMessageHtmlLink":"[engine] Factor main UI in lib"}},{"before":"7c2e5f10a0f220738fac19e82e4483a5f1b7f254","after":"5525b810a7c64262735c87a98948b0526132b331","ref":"refs/heads/main","pushedAt":"2023-09-21T14:41:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine] Remove unused dependencies","shortMessageHtmlLink":"[engine] Remove unused dependencies"}},{"before":null,"after":"803877d8550664df1cbef1b2692ceb990841a4fc","ref":"refs/heads/split-crates","pushedAt":"2023-09-20T13:40:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine] Split dependencies between crates","shortMessageHtmlLink":"[engine] Split dependencies between crates"}},{"before":"0c60d75e47dfc3b29ba9eddd950a29af1f1f634a","after":"7c2e5f10a0f220738fac19e82e4483a5f1b7f254","ref":"refs/heads/main","pushedAt":"2023-09-11T07:57:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"ed7d33159900c8775dfbe3aac4d92301359cbf3e","after":"7c2e5f10a0f220738fac19e82e4483a5f1b7f254","ref":"refs/heads/split-nix","pushedAt":"2023-09-11T07:56:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"25ae4497250142bb35cdddc4aee746d5a364ab6d","after":"ed7d33159900c8775dfbe3aac4d92301359cbf3e","ref":"refs/heads/split-nix","pushedAt":"2023-09-09T08:40:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Split coq package into two","shortMessageHtmlLink":"Split coq package into two"}},{"before":"34e002b0b6f08da5d5ba5c55992d074d4ad09420","after":"25ae4497250142bb35cdddc4aee746d5a364ab6d","ref":"refs/heads/split-nix","pushedAt":"2023-09-09T08:25:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Split coq package into two","shortMessageHtmlLink":"Split coq package into two"}},{"before":"52002f37e8c448715699f57bd4b1e0a73742f55d","after":"0c60d75e47dfc3b29ba9eddd950a29af1f1f634a","ref":"refs/heads/main","pushedAt":"2023-09-09T07:59:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Split coq package into two","shortMessageHtmlLink":"Split coq package into two"}},{"before":"0c60d75e47dfc3b29ba9eddd950a29af1f1f634a","after":"34e002b0b6f08da5d5ba5c55992d074d4ad09420","ref":"refs/heads/split-nix","pushedAt":"2023-09-09T07:59:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Split coq package into two","shortMessageHtmlLink":"Split coq package into two"}},{"before":null,"after":"0c60d75e47dfc3b29ba9eddd950a29af1f1f634a","ref":"refs/heads/split-nix","pushedAt":"2023-09-08T14:04:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Split coq package into two","shortMessageHtmlLink":"Split coq package into two"}},{"before":"42e82634f9b12e18bfe3736813718855110f1b17","after":"52002f37e8c448715699f57bd4b1e0a73742f55d","ref":"refs/heads/main","pushedAt":"2023-09-07T14:47:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Add notes to README","shortMessageHtmlLink":"Add notes to README"}},{"before":"ded882f608071f6cbd64fec8bb5a4031dac14e1f","after":"42e82634f9b12e18bfe3736813718855110f1b17","ref":"refs/heads/main","pushedAt":"2023-09-07T14:46:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Add notes to README","shortMessageHtmlLink":"Add notes to README"}},{"before":"3c716d333b32d0e22652a256c6e3662e9b4a16f4","after":"ded882f608071f6cbd64fec8bb5a4031dac14e1f","ref":"refs/heads/main","pushedAt":"2023-09-07T14:40:59.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Add tactics to exec/step commands inlined in proof","shortMessageHtmlLink":"[coq] Add tactics to exec/step commands inlined in proof"}},{"before":"2a428bc057fd6aafc01dd28b79f370c5ea07b657","after":"3c716d333b32d0e22652a256c6e3662e9b4a16f4","ref":"refs/heads/main","pushedAt":"2023-08-28T12:29:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"4f0efa943c411bcafaff1dc8ace990336e87728e","after":"2a428bc057fd6aafc01dd28b79f370c5ea07b657","ref":"refs/heads/main","pushedAt":"2023-08-28T12:20:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"65f7f6e8c195d89a85abeb5d9e63fa19f1355b1b","after":"4f0efa943c411bcafaff1dc8ace990336e87728e","ref":"refs/heads/main","pushedAt":"2023-08-28T12:18:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"748da6a722ef37e39adf752e87c269807fade086","after":"65f7f6e8c195d89a85abeb5d9e63fa19f1355b1b","ref":"refs/heads/main","pushedAt":"2023-08-28T12:10:08.000Z","pushType":"push","commitsCount":19,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[nix] Add shell to easily use plugin","shortMessageHtmlLink":"[nix] Add shell to easily use plugin"}},{"before":"70de8c874bf02ddc8f1fd65800682ad087dd6c97","after":"65f7f6e8c195d89a85abeb5d9e63fa19f1355b1b","ref":"refs/heads/unimath","pushedAt":"2023-08-28T12:09:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[nix] Add shell to easily use plugin","shortMessageHtmlLink":"[nix] Add shell to easily use plugin"}},{"before":"4a88aec3a739d9d94ef500508c1f23d2278fa9e7","after":"70de8c874bf02ddc8f1fd65800682ad087dd6c97","ref":"refs/heads/unimath","pushedAt":"2023-08-28T12:08:56.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[nix] Add shell to easily use plugin","shortMessageHtmlLink":"[nix] Add shell to easily use plugin"}},{"before":"d5fcf870018164f48ef17f4ed0f31bca3cfdc004","after":"4a88aec3a739d9d94ef500508c1f23d2278fa9e7","ref":"refs/heads/unimath","pushedAt":"2023-08-28T09:44:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Misc improvement to dune file","shortMessageHtmlLink":"[coq] Misc improvement to dune file"}},{"before":"3b2c91e49b49ff46a46341fed4a5bf8de100914b","after":"d5fcf870018164f48ef17f4ed0f31bca3cfdc004","ref":"refs/heads/unimath","pushedAt":"2023-08-25T11:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Update to Coq 8.17","shortMessageHtmlLink":"[coq] Update to Coq 8.17"}},{"before":"4877751d867b68d86e70fabeac3e6104d5588e62","after":"3b2c91e49b49ff46a46341fed4a5bf8de100914b","ref":"refs/heads/unimath","pushedAt":"2023-08-25T09:47:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Handle functors coercions","shortMessageHtmlLink":"[coq] Handle functors coercions"}},{"before":"1807bd248d61fa883110e5a7edd9971ec8bafbd2","after":"4877751d867b68d86e70fabeac3e6104d5588e62","ref":"refs/heads/unimath","pushedAt":"2023-08-24T11:49:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[engine] Fix rollback on execution failure","shortMessageHtmlLink":"[engine] Fix rollback on execution failure"}},{"before":"0693d23b6666c5f6444e86840f5942efc973a732","after":"1807bd248d61fa883110e5a7edd9971ec8bafbd2","ref":"refs/heads/unimath","pushedAt":"2023-08-24T10:21:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Update query to use unimath","shortMessageHtmlLink":"[coq] Update query to use unimath"}},{"before":"e1af6371d80e4fcdbf194841b6edfa993ce95f52","after":"0693d23b6666c5f6444e86840f5942efc973a732","ref":"refs/heads/unimath","pushedAt":"2023-08-23T11:01:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"[coq] Update Loader to use unimath","shortMessageHtmlLink":"[coq] Update Loader to use unimath"}},{"before":"b39d25a4e45d6858e49649788bf2248ba36fe4fe","after":"e1af6371d80e4fcdbf194841b6edfa993ce95f52","ref":"refs/heads/unimath","pushedAt":"2023-08-23T10:37:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwarfmaster","name":"Luc Chabassier","path":"/dwarfmaster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2025623?s=80&v=4"},"commit":{"message":"Start rewriting README","shortMessageHtmlLink":"Start rewriting README"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADjhWBVQA","startCursor":null,"endCursor":null}},"title":"Activity · dwarfmaster/commutative-diagrams"}