{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":400104445,"defaultBranch":"main","name":"hacl-packages","ownerLogin":"cryspen","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-08-26T08:57:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/88740011?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726497693.0","currentOid":""},"activityList":{"items":[{"before":"57e26d691ed354c0e97c2fefdccde9b7c0607dc5","after":null,"ref":"refs/heads/hacl-star-hints-and-dist-main","pushedAt":"2024-09-16T14:41:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"}},{"before":null,"after":"57e26d691ed354c0e97c2fefdccde9b7c0607dc5","ref":"refs/heads/hacl-star-hints-and-dist-main","pushedAt":"2024-09-15T00:53:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":null,"after":"54ce27c6614f574422948ba27281fbce2e63a5a5","ref":"refs/heads/hacl-star-target_h_inlines_oracle_studio","pushedAt":"2024-09-13T17:15:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"05e6d08baf31a3c414cade61f1915d65a8c1c226","after":null,"ref":"refs/heads/pnmadelaine-mach-benchmarks","pushedAt":"2024-09-11T09:19:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pnmadelaine","name":"Paul-Nicolas Madelaine","path":"/pnmadelaine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21977014?s=80&v=4"}},{"before":"dfdf26a7006e9cb869f62c0a35fa007d20716cf2","after":null,"ref":"refs/heads/pnmadelaine-dev","pushedAt":"2024-09-11T09:19:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pnmadelaine","name":"Paul-Nicolas Madelaine","path":"/pnmadelaine","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21977014?s=80&v=4"}},{"before":"c57beb4a80494d5cc93af85f8ccf6d1211aa3d3c","after":null,"ref":"refs/heads/hacl-star-hints-and-dist-main","pushedAt":"2024-09-09T16:18:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"}},{"before":"a92de4044c6903efd199dedad173c0c921b663d6","after":"b7b94f7a12ef8f0ba37cad5d81a41937970a4fe1","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-09-08T05:01:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"4e77797eea5245d7b8f4a9b0cc7921ac6157d0c9","after":"a92de4044c6903efd199dedad173c0c921b663d6","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-09-08T05:01:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":null,"after":"c57beb4a80494d5cc93af85f8ccf6d1211aa3d3c","ref":"refs/heads/hacl-star-hints-and-dist-main","pushedAt":"2024-09-08T01:54:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"8dc1ee22b85b41a4cae6145a93fed7d3d7bd1ddf","after":null,"ref":"refs/heads/hacl-star-nik_stabilize_lib_vec_lemmas","pushedAt":"2024-09-04T20:12:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"}},{"before":null,"after":"8dc1ee22b85b41a4cae6145a93fed7d3d7bd1ddf","ref":"refs/heads/hacl-star-nik_stabilize_lib_vec_lemmas","pushedAt":"2024-09-04T19:20:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"94a28ffdbab75aaacf594bfacfafecc3cb6f7f9b","after":"4e77797eea5245d7b8f4a9b0cc7921ac6157d0c9","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-09-02T07:04:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"bba0d233316764685ed7d311d96b52dfd3a1459d","after":"280bf4f50e948415e38840c42ad8859f9aeb66d3","ref":"refs/heads/hacl-star-fix","pushedAt":"2024-09-02T05:55:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"b852761148b839aa97efdc4df8b0b001dec749bf","after":"94a28ffdbab75aaacf594bfacfafecc3cb6f7f9b","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-31T06:09:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"1d6613c114142be7ea80f828af887a33851d32c3","after":null,"ref":"refs/heads/hacl-star-nik_3426","pushedAt":"2024-08-31T06:08:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"}},{"before":null,"after":"1d6613c114142be7ea80f828af887a33851d32c3","ref":"refs/heads/hacl-star-nik_3426","pushedAt":"2024-08-30T22:24:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"94c960d1ab1e51bdd53fd3e0bd408151c5b0af7c","after":"b852761148b839aa97efdc4df8b0b001dec749bf","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-30T17:40:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"c60a834dfdf32d332c22a6dedb4e0fe5b8f4e248","after":null,"ref":"refs/heads/hacl-star-afromher_misc","pushedAt":"2024-08-30T15:10:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"}},{"before":"3cd705afcf065e1e39b06b4ed2263267211a1365","after":"c60a834dfdf32d332c22a6dedb4e0fe5b8f4e248","ref":"refs/heads/hacl-star-afromher_misc","pushedAt":"2024-08-30T12:05:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"81676231855265707fc4e37b8b19660a69be7e12","after":"3cd705afcf065e1e39b06b4ed2263267211a1365","ref":"refs/heads/hacl-star-afromher_misc","pushedAt":"2024-08-30T10:32:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":null,"after":"81676231855265707fc4e37b8b19660a69be7e12","ref":"refs/heads/hacl-star-afromher_misc","pushedAt":"2024-08-30T09:30:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"46b9601c0b634098b12ea828d6e741393d8a094f","after":"bba0d233316764685ed7d311d96b52dfd3a1459d","ref":"refs/heads/hacl-star-fix","pushedAt":"2024-08-30T08:18:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"09fafc14724feb7283029cbe7cf383222fa074c6","after":"94c960d1ab1e51bdd53fd3e0bd408151c5b0af7c","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-28T14:45:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"09d71b41e39c02e56dba5b1c7fd7af465b5b93d3","after":"09fafc14724feb7283029cbe7cf383222fa074c6","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-28T08:22:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":null,"after":"e9424349f7559670cc59869db1eb09d4faf94864","ref":"refs/heads/hacl-star-hints","pushedAt":"2024-08-28T00:55:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"d15b80be3f4023d94b88ee36160b9cf62d7780bf","after":"09d71b41e39c02e56dba5b1c7fd7af465b5b93d3","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-27T12:04:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"41fd640dd3c571f79c46b1c8ae83989d0b031e3e","after":"46b9601c0b634098b12ea828d6e741393d8a094f","ref":"refs/heads/hacl-star-fix","pushedAt":"2024-08-26T03:38:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"2eed1118a57bfb1c4cfdbc152928c531ed65403a","after":"41fd640dd3c571f79c46b1c8ae83989d0b031e3e","ref":"refs/heads/hacl-star-fix","pushedAt":"2024-08-24T17:41:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"434a019ad5c3db8c87702b537ca5de0d3c182435","after":"d15b80be3f4023d94b88ee36160b9cf62d7780bf","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-23T12:05:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}},{"before":"bda949e4d64e1e478d719cfea1f24094d0198eae","after":"434a019ad5c3db8c87702b537ca5de0d3c182435","ref":"refs/heads/hacl-star-afromher_rs","pushedAt":"2024-08-23T11:52:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hacl-bot","name":"HACL* BOT","path":"/hacl-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107215500?s=80&v=4"},"commit":{"message":"[CI] update code","shortMessageHtmlLink":"[CI] update code"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNDo0MTozMy4wMDAwMDBazwAAAAS3i5JR","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNDo0MTozMy4wMDAwMDBazwAAAAS3i5JR","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yM1QxMTo1Mjo1NS4wMDAwMDBazwAAAASiSwVT"}},"title":"Activity · cryspen/hacl-packages"}