{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":659220168,"defaultBranch":"main","name":"cakeml-translator-ci","ownerLogin":"arolle","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-27T11:24:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1167984?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695666561.0","currentOid":""},"activityList":{"items":[{"before":"a928533aa6b3e1bac703ebadaf30fa645da0c6e5","after":"252bdf70dbec924728991a762fa648d8b2f9d2f2","ref":"refs/heads/main","pushedAt":"2023-09-25T18:25:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"ci: add release permissions","shortMessageHtmlLink":"ci: add release permissions"}},{"before":"1e8cdd85720ff249e0033241f38495e3aa993a8b","after":"a928533aa6b3e1bac703ebadaf30fa645da0c6e5","ref":"refs/heads/main","pushedAt":"2023-09-25T18:03:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"correct path for artefact release","shortMessageHtmlLink":"correct path for artefact release"}},{"before":"22f8080140d01c78d2fbca5be813d67e4f17ce61","after":"1e8cdd85720ff249e0033241f38495e3aa993a8b","ref":"refs/heads/main","pushedAt":"2023-09-25T09:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"fix repository name for artefact publication","shortMessageHtmlLink":"fix repository name for artefact publication"}},{"before":"c8e06954114580bef9e430434d39fd28ac88d96a","after":"22f8080140d01c78d2fbca5be813d67e4f17ce61","ref":"refs/heads/main","pushedAt":"2023-09-25T09:31:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"init","shortMessageHtmlLink":"init"}},{"before":"c8e06954114580bef9e430434d39fd28ac88d96a","after":null,"ref":"refs/tags/v2023.09.24-10","pushedAt":"2023-09-24T08:38:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"}},{"before":"ed4ed28dd8f67e1606d38832670608d7ba4a4669","after":"c8e06954114580bef9e430434d39fd28ac88d96a","ref":"refs/heads/main","pushedAt":"2023-09-23T06:45:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"also ignore logs from HOL4","shortMessageHtmlLink":"also ignore logs from HOL4"}},{"before":"ed4ed28dd8f67e1606d38832670608d7ba4a4669","after":null,"ref":"refs/tags/v2023.09.23-08","pushedAt":"2023-09-23T06:27:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"}},{"before":"ed4ed28dd8f67e1606d38832670608d7ba4a4669","after":null,"ref":"refs/tags/v2023.09.23","pushedAt":"2023-09-23T06:18:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"}},{"before":"aacac8ae87ce585397bfe22fca5a0be5c376beb6","after":"ed4ed28dd8f67e1606d38832670608d7ba4a4669","ref":"refs/heads/main","pushedAt":"2023-09-22T15:52:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"remove unnecessary commands","shortMessageHtmlLink":"remove unnecessary commands"}},{"before":"727a8af7bbcebfc730f840179d955324a1e59c80","after":"aacac8ae87ce585397bfe22fca5a0be5c376beb6","ref":"refs/heads/main","pushedAt":"2023-09-22T10:57:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"fix testcases","shortMessageHtmlLink":"fix testcases"}},{"before":"4dff51379f0d809ce77c75ea1c14e7839a1cce8c","after":"727a8af7bbcebfc730f840179d955324a1e59c80","ref":"refs/heads/main","pushedAt":"2023-09-22T05:39:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"revert changes and build Cakml twice","shortMessageHtmlLink":"revert changes and build Cakml twice"}},{"before":"90818698797326fb1d130a2db4aad84ce2b60e0b","after":"4dff51379f0d809ce77c75ea1c14e7839a1cce8c","ref":"refs/heads/main","pushedAt":"2023-09-21T21:25:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"nix: rerun Holmake in all directories","shortMessageHtmlLink":"nix: rerun Holmake in all directories"}},{"before":"6d0272ad285e2677a427bd0ea33a728bddf390fd","after":"90818698797326fb1d130a2db4aad84ce2b60e0b","ref":"refs/heads/main","pushedAt":"2023-09-21T14:13:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"nix: disable hardenings","shortMessageHtmlLink":"nix: disable hardenings"}},{"before":"b0de6286dc33e247ce25f08c7de88e3f41f05e18","after":"6d0272ad285e2677a427bd0ea33a728bddf390fd","ref":"refs/heads/main","pushedAt":"2023-09-21T12:45:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"skip gcc compilation so that formula succeeds","shortMessageHtmlLink":"skip gcc compilation so that formula succeeds"}},{"before":"5c599fa44128c0fef975257b09d026c5d0702b85","after":"b0de6286dc33e247ce25f08c7de88e3f41f05e18","ref":"refs/heads/main","pushedAt":"2023-09-21T12:07:54.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"move cakeml binary compilation first","shortMessageHtmlLink":"move cakeml binary compilation first"}},{"before":"2a135b8e8a3bcc287732deeb583a6113016d63c4","after":"5c599fa44128c0fef975257b09d026c5d0702b85","ref":"refs/heads/main","pushedAt":"2023-09-21T06:37:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"nix flake update","shortMessageHtmlLink":"nix flake update"}},{"before":"c07bc23f6f80e1a0ab9a6954f6e448bffe4b7a8c","after":"2a135b8e8a3bcc287732deeb583a6113016d63c4","ref":"refs/heads/main","pushedAt":"2023-09-21T06:01:47.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"adds test scripts","shortMessageHtmlLink":"adds test scripts"}},{"before":"959b0b54d728a570c9c75b8db933d3aee21a2102","after":"c07bc23f6f80e1a0ab9a6954f6e448bffe4b7a8c","ref":"refs/heads/main","pushedAt":"2023-09-20T21:23:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"34d08a36ae2f7dea10995ec724736214cf7f78b9","after":"959b0b54d728a570c9c75b8db933d3aee21a2102","ref":"refs/heads/main","pushedAt":"2023-09-20T17:15:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"nix build: try to avoid Holmake issue by compiling twice","shortMessageHtmlLink":"nix build: try to avoid Holmake issue by compiling twice"}},{"before":"51783855bc0575b4d1e9c21d100034a77011f80b","after":"34d08a36ae2f7dea10995ec724736214cf7f78b9","ref":"refs/heads/main","pushedAt":"2023-09-20T08:01:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"compile HOL4 with formal-languages","shortMessageHtmlLink":"compile HOL4 with formal-languages"}},{"before":"7301e23dd95c1306f203d807a9a4505cc509c266","after":"51783855bc0575b4d1e9c21d100034a77011f80b","ref":"refs/heads/main","pushedAt":"2023-09-20T07:47:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"nix: correct variable name","shortMessageHtmlLink":"nix: correct variable name"}},{"before":"e9ec92ba5a649a403e766ca3b4256e1ae9f7f898","after":"7301e23dd95c1306f203d807a9a4505cc509c266","ref":"refs/heads/main","pushedAt":"2023-09-20T07:44:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"nix set environment variables","shortMessageHtmlLink":"nix set environment variables"}},{"before":"f95aa10a0d21407a26f17a9eaad0e097e9243137","after":"e9ec92ba5a649a403e766ca3b4256e1ae9f7f898","ref":"refs/heads/main","pushedAt":"2023-09-20T06:10:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"ci: move printing stuff last, drop testTheory","shortMessageHtmlLink":"ci: move printing stuff last, drop testTheory"}},{"before":"cdea0214fc3871c501c1b8480e64b01dd4f59cb3","after":"f95aa10a0d21407a26f17a9eaad0e097e9243137","ref":"refs/heads/main","pushedAt":"2023-09-19T22:40:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"fix? ci with dev shell","shortMessageHtmlLink":"fix? ci with dev shell"}},{"before":"a1efc58224eba0325b713bd645f0d44b80826033","after":"cdea0214fc3871c501c1b8480e64b01dd4f59cb3","ref":"refs/heads/main","pushedAt":"2023-09-19T14:35:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"sets correct path for Holmake","shortMessageHtmlLink":"sets correct path for Holmake"}},{"before":"2dbb7b85b2f760844b83441c19875b300b3ce6f1","after":"a1efc58224eba0325b713bd645f0d44b80826033","ref":"refs/heads/main","pushedAt":"2023-09-19T13:42:24.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"add intermediate build steps for hol4 and CakeML","shortMessageHtmlLink":"add intermediate build steps for hol4 and CakeML"}},{"before":"c9a06f3ac187f3eb0c7fa5eb1c1d1c6c7834cfc3","after":"2dbb7b85b2f760844b83441c19875b300b3ce6f1","ref":"refs/heads/main","pushedAt":"2023-09-17T16:50:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"ci: verbose build step","shortMessageHtmlLink":"ci: verbose build step"}},{"before":"981d922adf181d86c71ed81795ee28c2e44a2445","after":"c9a06f3ac187f3eb0c7fa5eb1c1d1c6c7834cfc3","ref":"refs/heads/main","pushedAt":"2023-06-27T13:16:21.037Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"init","shortMessageHtmlLink":"init"}},{"before":"d165056663deffc868f004b17dd3ed2871285e59","after":"981d922adf181d86c71ed81795ee28c2e44a2445","ref":"refs/heads/main","pushedAt":"2023-06-27T12:59:50.610Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"init","shortMessageHtmlLink":"init"}},{"before":null,"after":"d165056663deffc868f004b17dd3ed2871285e59","ref":"refs/heads/main","pushedAt":"2023-06-27T12:56:57.967Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arolle","name":null,"path":"/arolle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1167984?s=80&v=4"},"commit":{"message":"init","shortMessageHtmlLink":"init"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADiHxSKwA","startCursor":null,"endCursor":null}},"title":"Activity · arolle/cakeml-translator-ci"}