{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":273679767,"defaultBranch":"master","name":"pure","ownerLogin":"CakeML","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-20T09:42:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8167971?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725976489.0","currentOid":""},"activityList":{"items":[{"before":"86f5f1afeea198965a7d95c036c902a23a6fcb0a","after":"0024a48e86ddd86b266de8f397a145a7f2409870","ref":"refs/heads/typeclassLang","pushedAt":"2024-09-17T09:03:09.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Gordon-Sau","name":null,"path":"/Gordon-Sau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66369887?s=80&v=4"},"commit":{"message":"typeclassLang: update typing Proof","shortMessageHtmlLink":"typeclassLang: update typing Proof"}},{"before":"4087218b59dccd2ae91fca19def86ea9b353c41d","after":"f52bc18b4c6ad674bf824a5dce8595d41b8ae4be","ref":"refs/heads/master","pushedAt":"2024-09-09T22:32:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Fix `pure_eval_surj` after change in HOL","shortMessageHtmlLink":"Fix <code>pure_eval_surj</code> after change in HOL"}},{"before":"d6947aab6f56bed420c8c5ae973f8224986af829","after":"4087218b59dccd2ae91fca19def86ea9b353c41d","ref":"refs/heads/master","pushedAt":"2024-09-08T22:24:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"A couple of minor fixes\n\n- `--strip_components` flag to `tar` seems more portable when placed\n  before the file argument\n- use latest available GCC and avoid a couple of warnings about\n  mismatching signedness of expected/actual arguments","shortMessageHtmlLink":"A couple of minor fixes"}},{"before":"79e3fed29fece4db75b0353de9c929e2955cf875","after":"86f5f1afeea198965a7d95c036c902a23a6fcb0a","ref":"refs/heads/typeclassLang","pushedAt":"2024-08-27T09:29:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Add type class work to regression + top-level Holmakefile","shortMessageHtmlLink":"Add type class work to regression + top-level Holmakefile"}},{"before":"f941839a07b303c3cefcbc923af6128369c31c94","after":"79e3fed29fece4db75b0353de9c929e2955cf875","ref":"refs/heads/typeclassLang","pushedAt":"2024-08-20T08:23:55.000Z","pushType":"push","commitsCount":68,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Merge branch 'master' into typeclassLang","shortMessageHtmlLink":"Merge branch 'master' into typeclassLang"}},{"before":"70c9fa949d94d55f353bc9840014fef6a384defb","after":"d6947aab6f56bed420c8c5ae973f8224986af829","ref":"refs/heads/master","pushedAt":"2024-08-13T09:23:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Update CI containers and actions\n\nAlso run short CI steps on GitHub runners, instead of self-hosting.\nThis avoids queuing these short steps behind the longer build step.","shortMessageHtmlLink":"Update CI containers and actions"}},{"before":"3ac0363ca13d3a0971d0b1f9a7a9983ecd4055df","after":"c4d76c039ad126d42a5da7f6a0a108d9d1c2b0e2","ref":"refs/heads/update-ci","pushedAt":"2024-08-12T15:39:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Update action versions","shortMessageHtmlLink":"Update action versions"}},{"before":"ba8a47dd8e8a2df9c81a3d41e5d8223caf198e4b","after":"3ac0363ca13d3a0971d0b1f9a7a9983ecd4055df","ref":"refs/heads/update-ci","pushedAt":"2024-08-09T22:17:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Add a description to Discord notification","shortMessageHtmlLink":"Add a description to Discord notification"}},{"before":"5ba3544c8ee263acbd9db12153d7a972faeea320","after":"ba8a47dd8e8a2df9c81a3d41e5d8223caf198e4b","ref":"refs/heads/update-ci","pushedAt":"2024-08-09T09:16:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Try to simplify quotes","shortMessageHtmlLink":"Try to simplify quotes"}},{"before":"8535bdb9e1951d43d5f64112c91c89047e2da920","after":"5ba3544c8ee263acbd9db12153d7a972faeea320","ref":"refs/heads/update-ci","pushedAt":"2024-08-09T09:13:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Try to simplify quotes","shortMessageHtmlLink":"Try to simplify quotes"}},{"before":null,"after":"8535bdb9e1951d43d5f64112c91c89047e2da920","ref":"refs/heads/update-ci","pushedAt":"2024-08-08T18:23:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Run shorter CI steps on GitHub runners\n\nAvoid queuing on `stove` behind the longer build.\nAlso use latest GitHub-supported Ubuntu.","shortMessageHtmlLink":"Run shorter CI steps on GitHub runners"}},{"before":"d6f4ab1195e8dac354645b473943be4ca3cfa824","after":"70c9fa949d94d55f353bc9840014fef6a384defb","ref":"refs/heads/master","pushedAt":"2024-08-08T12:19:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"myreen","name":null,"path":"/myreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/998367?s=80&v=4"},"commit":{"message":"Avoid using allow_rebinds","shortMessageHtmlLink":"Avoid using allow_rebinds"}},{"before":"9bf0053b2c1d1f552718adc6d1cc0643da794b5e","after":"d6f4ab1195e8dac354645b473943be4ca3cfa824","ref":"refs/heads/master","pushedAt":"2024-08-08T10:01:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"myreen","name":null,"path":"/myreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/998367?s=80&v=4"},"commit":{"message":"Compile to arm8","shortMessageHtmlLink":"Compile to arm8"}},{"before":"7208aa9a34ef4b810148b2f9f0d642c2962ca22c","after":"9bf0053b2c1d1f552718adc6d1cc0643da794b5e","ref":"refs/heads/master","pushedAt":"2024-08-08T07:43:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"myreen","name":null,"path":"/myreen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/998367?s=80&v=4"},"commit":{"message":"Update for new way of doing in-logic compilation","shortMessageHtmlLink":"Update for new way of doing in-logic compilation"}},{"before":"fbe80e7030dfbf227b7711e9500d2438655d449c","after":"7208aa9a34ef4b810148b2f9f0d642c2962ca22c","ref":"refs/heads/master","pushedAt":"2024-08-07T10:28:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Fix end-to-end proof","shortMessageHtmlLink":"Fix end-to-end proof"}},{"before":"6be963d10df0591b030e73a6a9194197f23f3037","after":"fbe80e7030dfbf227b7711e9500d2438655d449c","ref":"refs/heads/master","pushedAt":"2024-08-07T10:22:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Add commit info to Discord notification","shortMessageHtmlLink":"Add commit info to Discord notification"}},{"before":"e167902c6505c7ee9d8d63739b54f8710d2f42ec","after":null,"ref":"refs/heads/discord-notify","pushedAt":"2024-08-07T10:19:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"}},{"before":null,"after":"e167902c6505c7ee9d8d63739b54f8710d2f42ec","ref":"refs/heads/discord-notify","pushedAt":"2024-08-07T10:00:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Flesh out Discord message","shortMessageHtmlLink":"Flesh out Discord message"}},{"before":"cc3529aff07b2c8c4f1c6b0b462a7c31622467e7","after":"6be963d10df0591b030e73a6a9194197f23f3037","ref":"refs/heads/master","pushedAt":"2024-08-06T21:23:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Try to fix Discord notification","shortMessageHtmlLink":"Try to fix Discord notification"}},{"before":"c172d15ff487b682e2320f095ca0623a9e266f31","after":"cc3529aff07b2c8c4f1c6b0b462a7c31622467e7","ref":"refs/heads/master","pushedAt":"2024-08-06T17:36:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Attempt to add Discord notification on CI run","shortMessageHtmlLink":"Attempt to add Discord notification on CI run"}},{"before":"657f8f2d0247471482f61b47be595024cc90a3ce","after":"c172d15ff487b682e2320f095ca0623a9e266f31","ref":"refs/heads/master","pushedAt":"2024-08-06T17:35:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hrutvik","name":"Hrutvik Kanabar","path":"/hrutvik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7516593?s=80&v=4"},"commit":{"message":"Attempt to add Discord notification on CI run","shortMessageHtmlLink":"Attempt to add Discord notification on CI run"}},{"before":"217516e0df3d0754215d1fca4c44eb57d075be8b","after":"f941839a07b303c3cefcbc923af6128369c31c94","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-29T11:13:26.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"Gordon-Sau","name":null,"path":"/Gordon-Sau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66369887?s=80&v=4"},"commit":{"message":"Merge branch 'typeclassLang' of github.com:CakeML/pure into typeclassLang","shortMessageHtmlLink":"Merge branch 'typeclassLang' of github.com:CakeML/pure into typeclass…"}},{"before":"d7f961f95cf6514c9572f5705e3494a0ff0f07ad","after":"217516e0df3d0754215d1fca4c44eb57d075be8b","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-18T11:31:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Prove Letrec case","shortMessageHtmlLink":"Prove Letrec case"}},{"before":"c32b0dfa71abe91e564c665cffd5c90134a0d54f","after":"d7f961f95cf6514c9572f5705e3494a0ff0f07ad","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-18T11:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Prove Apps case","shortMessageHtmlLink":"Prove Apps case"}},{"before":"825eb8463be0a466ca3e6fe4770f9c365b2702ca","after":"c32b0dfa71abe91e564c665cffd5c90134a0d54f","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-18T10:54:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Use >~ instead of comments to signpost","shortMessageHtmlLink":"Use &gt;~ instead of comments to signpost"}},{"before":"97627589e9a6307e25538b9ca5d678f3e063eb57","after":"825eb8463be0a466ca3e6fe4770f9c365b2702ca","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-18T10:45:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Prove some \"easy\" cases from type_soundness_up_to","shortMessageHtmlLink":"Prove some \"easy\" cases from type_soundness_up_to"}},{"before":"fe6a9d0be9badce24b099cf1393f7e680ecc0ff2","after":"97627589e9a6307e25538b9ca5d678f3e063eb57","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-17T05:56:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Fix some more theory names","shortMessageHtmlLink":"Fix some more theory names"}},{"before":"f07fccad94e48ad9e71f873e33d610b0c635a61b","after":"fe6a9d0be9badce24b099cf1393f7e680ecc0ff2","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-17T05:35:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IlmariReissumies","name":"Johannes Åman Pohjola","path":"/IlmariReissumies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15676638?s=80&v=4"},"commit":{"message":"Fix a theory name\n\nTheory names should coincide with file names (minus Script.sml at the\nend)","shortMessageHtmlLink":"Fix a theory name"}},{"before":"f190511cdf834d7f263297db52456426f800d79a","after":"f07fccad94e48ad9e71f873e33d610b0c635a61b","ref":"refs/heads/typeclassLang","pushedAt":"2024-06-13T14:13:46.000Z","pushType":"push","commitsCount":39,"pusher":{"login":"Gordon-Sau","name":null,"path":"/Gordon-Sau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66369887?s=80&v=4"},"commit":{"message":"update typesoundness proofs with some cheats","shortMessageHtmlLink":"update typesoundness proofs with some cheats"}},{"before":"87e2b5ae0779b911cc611c9baed3fba2a2c5b1a7","after":"db06301a050d442eb376f9f7ed621e7300609c2d","ref":"refs/heads/inline-letrecs","pushedAt":"2024-04-27T08:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KacperFKorban","name":"Kacper Korban","path":"/KacperFKorban","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39772805?s=80&v=4"},"commit":{"message":"Small inliner fixes","shortMessageHtmlLink":"Small inliner fixes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QwOTowMzowOS4wMDAwMDBazwAAAAS4Td9z","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QwOTowMzowOS4wMDAwMDBazwAAAAS4Td9z","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yN1QwODo1NjoyMC4wMDAwMDBazwAAAAQ7wK5o"}},"title":"Activity · CakeML/pure"}