{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":716540100,"defaultBranch":"primary","name":"hott","ownerLogin":"mjub","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-09T10:54:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/117283709?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1699527287.0","currentOid":""},"activityList":{"items":[{"before":"52ab3e96ea723e4abe8b1efd2102647aaab43d4e","after":"a6a7bbd2dc7229c12fb99dcd7ffa96c32b8d2ec4","ref":"refs/heads/primary","pushedAt":"2024-01-10T08:47:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Version bump","shortMessageHtmlLink":"Version bump"}},{"before":"3fd16ac344da7c4a9115d00b926b50ffc90134fd","after":"52ab3e96ea723e4abe8b1efd2102647aaab43d4e","ref":"refs/heads/primary","pushedAt":"2024-01-09T13:37:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Synchronize with mjub/coq-template","shortMessageHtmlLink":"Synchronize with mjub/coq-template"}},{"before":"6c84720282f0c4e89c7d78bb48778461716b82f4","after":"3fd16ac344da7c4a9115d00b926b50ffc90134fd","ref":"refs/heads/primary","pushedAt":"2023-11-12T14:51:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add Nat.v","shortMessageHtmlLink":"Add Nat.v"}},{"before":"816751bc7d6739addca41319a3844724735b6cb8","after":"6c84720282f0c4e89c7d78bb48778461716b82f4","ref":"refs/heads/primary","pushedAt":"2023-11-12T10:28:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add Logic.v","shortMessageHtmlLink":"Add Logic.v"}},{"before":"d39d5d4aed66f996f871dba714e872b02bb00609","after":"816751bc7d6739addca41319a3844724735b6cb8","ref":"refs/heads/primary","pushedAt":"2023-11-11T14:21:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add Ltac","shortMessageHtmlLink":"Add Ltac"}},{"before":"fa48a08bd02e23f623616d23b0dfcb772dbe74d2","after":"d39d5d4aed66f996f871dba714e872b02bb00609","ref":"refs/heads/primary","pushedAt":"2023-11-11T10:38:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Fix indentation","shortMessageHtmlLink":"Fix indentation"}},{"before":"ec4db0e8de0d96a97ff2b2889b6359e8574deb6d","after":"fa48a08bd02e23f623616d23b0dfcb772dbe74d2","ref":"refs/heads/primary","pushedAt":"2023-11-11T10:12:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add the identity types and some refactoring","shortMessageHtmlLink":"Add the identity types and some refactoring"}},{"before":"f936ceeb56d16de24f8ffc7b8a2b200ad9deaad4","after":"ec4db0e8de0d96a97ff2b2889b6359e8574deb6d","ref":"refs/heads/primary","pushedAt":"2023-11-10T19:10:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Revert back to the previous configuration because I give up","shortMessageHtmlLink":"Revert back to the previous configuration because I give up"}},{"before":"1adccf93ce2f6438f5599f218c5d3e83eec90f1f","after":"f936ceeb56d16de24f8ffc7b8a2b200ad9deaad4","ref":"refs/heads/primary","pushedAt":"2023-11-10T19:07:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Merge cloning and building into a single step","shortMessageHtmlLink":"Merge cloning and building into a single step"}},{"before":"bc9e7d32ead666289c98beefa40b1c0fee809636","after":"1adccf93ce2f6438f5599f218c5d3e83eec90f1f","ref":"refs/heads/primary","pushedAt":"2023-11-10T19:04:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Force using /home/coq in the build container","shortMessageHtmlLink":"Force using /home/coq in the build container"}},{"before":"b78b5011f8c4fd5d4173283a1b77b268659e2f33","after":"bc9e7d32ead666289c98beefa40b1c0fee809636","ref":"refs/heads/primary","pushedAt":"2023-11-10T19:02:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Clone repository by hand instead of using actions/checkout","shortMessageHtmlLink":"Clone repository by hand instead of using actions/checkout"}},{"before":"ea91731e1dc6e97dc02aeeefc0f420b5b737f816","after":"b78b5011f8c4fd5d4173283a1b77b268659e2f33","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:58:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Fix chown usage","shortMessageHtmlLink":"Fix chown usage"}},{"before":"c4beed0c042522dab9bdda65affca36c62f6e22d","after":"ea91731e1dc6e97dc02aeeefc0f420b5b737f816","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:55:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Ok I lied, I still have some ideas","shortMessageHtmlLink":"Ok I lied, I still have some ideas"}},{"before":"5ec0b69e2464640f853e54859b95867ec2a9e353","after":"c4beed0c042522dab9bdda65affca36c62f6e22d","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:39:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"One last attempt at getting coqorg/coq to work","shortMessageHtmlLink":"One last attempt at getting coqorg/coq to work"}},{"before":"f92663c7d51fa9488c232f7f048fbf60daf595db","after":"5ec0b69e2464640f853e54859b95867ec2a9e353","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:26:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Oops, forgot to add --command","shortMessageHtmlLink":"Oops, forgot to add --command"}},{"before":"7c2e689fc296470128e6c829799eb72dbc6ccd2d","after":"f92663c7d51fa9488c232f7f048fbf60daf595db","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:21:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Try to start as root, then drop privileges","shortMessageHtmlLink":"Try to start as root, then drop privileges"}},{"before":"d1a59e310685fd04ab5bc7c3967379673e7c5104","after":"7c2e689fc296470128e6c829799eb72dbc6ccd2d","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:14:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Change file permissions for /home as well","shortMessageHtmlLink":"Change file permissions for /home as well"}},{"before":"a231554d8987345bdc8921c6944974228b089122","after":"d1a59e310685fd04ab5bc7c3967379673e7c5104","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:13:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Trigger rebuild when updating github-pages.yml","shortMessageHtmlLink":"Trigger rebuild when updating github-pages.yml"}},{"before":"a8c61deabc5c8e9313afce2eebb65876f840c962","after":"a231554d8987345bdc8921c6944974228b089122","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:09:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Try to change the file permissions inside of the build container","shortMessageHtmlLink":"Try to change the file permissions inside of the build container"}},{"before":"2ff50f4d1d6f62a01b3458ee00971779e9ddf05d","after":"a8c61deabc5c8e9313afce2eebb65876f840c962","ref":"refs/heads/primary","pushedAt":"2023-11-10T18:01:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add elimination principle for ∑-types and projections","shortMessageHtmlLink":"Add elimination principle for ∑-types and projections"}},{"before":"d718aa1fce117e14c4b6c12511e82e82c0a2d788","after":"2ff50f4d1d6f62a01b3458ee00971779e9ddf05d","ref":"refs/heads/primary","pushedAt":"2023-11-10T13:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"I will keep doing slight changes until it either works or I give up","shortMessageHtmlLink":"I will keep doing slight changes until it either works or I give up"}},{"before":"beb49cb99b0a95fc3289894fde02fc053258e17b","after":"d718aa1fce117e14c4b6c12511e82e82c0a2d788","ref":"refs/heads/primary","pushedAt":"2023-11-10T13:37:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add the cartesian product of types","shortMessageHtmlLink":"Add the cartesian product of types"}},{"before":"7913718b5d8458e4490face0cca28a622d70465e","after":"beb49cb99b0a95fc3289894fde02fc053258e17b","ref":"refs/heads/primary","pushedAt":"2023-11-10T13:32:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Oops, I don't need to install VSCoq for this","shortMessageHtmlLink":"Oops, I don't need to install VSCoq for this"}},{"before":"4bfe9697ab89a169e0efa19fba6e2de9b4da7c4f","after":"7913718b5d8458e4490face0cca28a622d70465e","ref":"refs/heads/primary","pushedAt":"2023-11-10T13:28:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Add ∏-types and ∑-types","shortMessageHtmlLink":"Add ∏-types and ∑-types"}},{"before":"51b2bcf3bd82e7150929c3f05004223eecb557e8","after":"4bfe9697ab89a169e0efa19fba6e2de9b4da7c4f","ref":"refs/heads/primary","pushedAt":"2023-11-10T13:22:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Try to use the coqorg/coq Docker image instead","shortMessageHtmlLink":"Try to use the coqorg/coq Docker image instead"}},{"before":"7d467ae48f1bca8294e1d5a356cbbb23a5bb74e2","after":"51b2bcf3bd82e7150929c3f05004223eecb557e8","ref":"refs/heads/primary","pushedAt":"2023-11-09T11:47:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e6065dacdc613b81fa085b2a01a4b844f3947afb","after":"7d467ae48f1bca8294e1d5a356cbbb23a5bb74e2","ref":"refs/heads/primary","pushedAt":"2023-11-09T11:35:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Populate repository","shortMessageHtmlLink":"Populate repository"}},{"before":null,"after":"e6065dacdc613b81fa085b2a01a4b844f3947afb","ref":"refs/heads/primary","pushedAt":"2023-11-09T10:54:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mjub","name":"Moana Jubert","path":"/mjub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/117283709?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD3A6C6AA","startCursor":null,"endCursor":null}},"title":"Activity · mjub/hott"}