{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":271444202,"defaultBranch":"master","name":"ci-actions","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-11T03:38:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716248326.0","currentOid":""},"activityList":{"items":[{"before":"58c33296c1ec2fe1baacb8cc34b2c9fc688ec3da","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/js/undici-5.28.4","pushedAt":"2024-05-20T23:38:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"748b4f87ac27a9d066bc638fbcff1848309038ad","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/bv-trigger/undici-5.28.4","pushedAt":"2024-05-20T23:38:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"f6aaccf20bc8f1317f585620f836e3703d0b95cb","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/await-remote-artifacts/undici-5.28.4","pushedAt":"2024-05-20T23:38:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"0671c8062dc8d116fc562a97d4a3cb58f059551b","after":null,"ref":"refs/heads/cparser","pushedAt":"2024-05-15T07:00:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"683e7f32fc526f45f23d0b11f246e649eee2b553","after":"35d57c6c300d9dde864c8324252af1b995afdd46","ref":"refs/heads/master","pushedAt":"2024-05-15T07:00:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"docker: smaller base image for cparser-builder\n\nThe cparser-builder job is failing on GitHub, because the l4v base image\nhas become too large to work on GitHub runners. Use the much smaller\nsel4 base image instead -- this means we have to manually install the\nmlton compiler.\n\nAlso fix make invocation for the standalone parser -- this was masked\nbefore by the fact that the l4v image comes with the parser pre-built.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"docker: smaller base image for cparser-builder"}},{"before":null,"after":"0671c8062dc8d116fc562a97d4a3cb58f059551b","ref":"refs/heads/cparser","pushedAt":"2024-05-15T05:42:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"docker: smaller base image for cparser-builder\n\nThe cparser-builder job is failing on GitHub, because the l4v base image\nhas become too large to work on GitHub runners. Use the much smaller\nsel4 base image instead -- this means we have to manually install the\nmlton compiler.\n\nAlso fix make invocation for the standalone parser -- this was masked\nbefore by the fact that the l4v image comes with the parser pre-built.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"docker: smaller base image for cparser-builder"}},{"before":"d856814e4039bbc6105ed4ae4f700cf5c8209b84","after":"683e7f32fc526f45f23d0b11f246e649eee2b553","ref":"refs/heads/master","pushedAt":"2024-04-26T03:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"isabelle-mirror: upstream switched to https\n\nThe upstream Isabelle repo hosting at http://isabelle.in.tum.de has\nswitched to https.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"isabelle-mirror: upstream switched to https"}},{"before":"bb8210cae53f2d5119b7a2dd75b3d1fafbd4f2ad","after":"d856814e4039bbc6105ed4ae4f700cf5c8209b84","ref":"refs/heads/master","pushedAt":"2024-04-12T00:09:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"python: remove broken unused function\n\nCommit 85c8f71d should never have added this.\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"python: remove broken unused function"}},{"before":"92799bc89bebc7e74413648d2d6fa736eed2d6a2","after":"bb8210cae53f2d5119b7a2dd75b3d1fafbd4f2ad","ref":"refs/heads/master","pushedAt":"2024-04-09T23:38:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"doc: remove/fix bogus quotes\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"doc: remove/fix bogus quotes"}},{"before":"9fbebdab394f46a2f7e82c2f6f64c9121e2d0223","after":null,"ref":"refs/heads/switch-regions","pushedAt":"2024-04-09T06:19:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"cdfeb1f95807b89c1062d4c59ce20077627162b5","after":"92799bc89bebc7e74413648d2d6fa736eed2d6a2","ref":"refs/heads/master","pushedAt":"2024-04-09T06:19:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"aws-proofs: switch to us-east-1 region\n\nus-east-1 has a lower interrupt rate for our VM class than use-east-2,\nand currently same price.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"aws-proofs: switch to us-east-1 region"}},{"before":"31fb33a80fb2f2329df283a4f8fd40feb2578a75","after":"9fbebdab394f46a2f7e82c2f6f64c9121e2d0223","ref":"refs/heads/switch-regions","pushedAt":"2024-04-09T05:51:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"aws-proofs: switch to us-east-1 region\n\nus-east-1 has a lower interrupt rate for our VM class than use-east-2,\nand currently same price.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"aws-proofs: switch to us-east-1 region"}},{"before":null,"after":"31fb33a80fb2f2329df283a4f8fd40feb2578a75","ref":"refs/heads/switch-regions","pushedAt":"2024-04-09T05:50:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"aws-proofs: switch to us-east-1 region\n\nus-east-1 has a lower interrupt rate for our VM class than use-east-2,\nand curently same price.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"aws-proofs: switch to us-east-1 region"}},{"before":null,"after":"58c33296c1ec2fe1baacb8cc34b2c9fc688ec3da","ref":"refs/heads/dependabot/npm_and_yarn/js/undici-5.28.4","pushedAt":"2024-04-04T17:20:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump undici from 5.28.3 to 5.28.4 in /js\n\nBumps [undici](https://github.com/nodejs/undici) from 5.28.3 to 5.28.4.\n- [Release notes](https://github.com/nodejs/undici/releases)\n- [Commits](https://github.com/nodejs/undici/compare/v5.28.3...v5.28.4)\n\n---\nupdated-dependencies:\n- dependency-name: undici\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump undici from 5.28.3 to 5.28.4 in /js"}},{"before":null,"after":"748b4f87ac27a9d066bc638fbcff1848309038ad","ref":"refs/heads/dependabot/npm_and_yarn/bv-trigger/undici-5.28.4","pushedAt":"2024-04-04T17:20:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump undici from 5.28.3 to 5.28.4 in /bv-trigger\n\nBumps [undici](https://github.com/nodejs/undici) from 5.28.3 to 5.28.4.\n- [Release notes](https://github.com/nodejs/undici/releases)\n- [Commits](https://github.com/nodejs/undici/compare/v5.28.3...v5.28.4)\n\n---\nupdated-dependencies:\n- dependency-name: undici\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump undici from 5.28.3 to 5.28.4 in /bv-trigger"}},{"before":null,"after":"f6aaccf20bc8f1317f585620f836e3703d0b95cb","ref":"refs/heads/dependabot/npm_and_yarn/await-remote-artifacts/undici-5.28.4","pushedAt":"2024-04-04T17:19:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump undici in /await-remote-artifacts\n\nBumps [undici](https://github.com/nodejs/undici) from 5.28.3 to 5.28.4.\n- [Release notes](https://github.com/nodejs/undici/releases)\n- [Commits](https://github.com/nodejs/undici/compare/v5.28.3...v5.28.4)\n\n---\nupdated-dependencies:\n- dependency-name: undici\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump undici in /await-remote-artifacts"}},{"before":"1fa908558fc1288188b469268bfe4fd0ac5f5d5b","after":null,"ref":"refs/heads/sel4bench_ci","pushedAt":"2024-03-21T15:50:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"7d358565f13e237e2cf5fd7997b01ab42c01844a","after":"cdfeb1f95807b89c1062d4c59ce20077627162b5","ref":"refs/heads/master","pushedAt":"2024-03-21T15:50:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update build.py\n\nAdd forgotten newlines.\n\nSigned-off-by: Indan Zupancic <indan@nul.nu>","shortMessageHtmlLink":"Update build.py"}},{"before":null,"after":"1fa908558fc1288188b469268bfe4fd0ac5f5d5b","ref":"refs/heads/sel4bench_ci","pushedAt":"2024-03-21T14:50:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"Update build.py\n\nAdd forgotten newlines.\n\nSigned-off-by: Indan Zupancic <indan@nul.nu>","shortMessageHtmlLink":"Update build.py"}},{"before":"5e5fdeb8286b35d801993d8c0694b3e29714df00","after":null,"ref":"refs/heads/performance-page","pushedAt":"2024-03-20T20:54:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"}},{"before":"5b49cb5414aafd9ab0d94ba117d99827302d0ea9","after":"7d358565f13e237e2cf5fd7997b01ab42c01844a","ref":"refs/heads/master","pushedAt":"2024-03-20T20:54:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"sel4bench-web: adjust for website update\n\nWebsite has been updated to use Jekyll:\n- generate index.html instead of home.pml\n- different front matter format\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"sel4bench-web: adjust for website update"}},{"before":null,"after":"5e5fdeb8286b35d801993d8c0694b3e29714df00","ref":"refs/heads/performance-page","pushedAt":"2024-03-20T14:14:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"sel4bench-web: adjust for website update\n\nWebsite has been updated to use Jekyll:\n- generate index.html instead of home.pml\n- different front matter format\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"sel4bench-web: adjust for website update"}},{"before":"dc879d75374d2ecfac94a1725a8c9e3d42b86726","after":null,"ref":"refs/heads/no-vm-armvirt32","pushedAt":"2024-03-16T20:40:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"d9f7a541890e4cd56bddec1e4b891b564fe2c2c3","after":"5b49cb5414aafd9ab0d94ba117d99827302d0ea9","ref":"refs/heads/master","pushedAt":"2024-03-16T20:40:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"camkes-vm: remove unsupported ARMVIRT32 build\n\nARMVIRT32 is currently not supported in the VM, and there are no\nimmediate plans to change that since work is focused on 64 bit VMMs.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"camkes-vm: remove unsupported ARMVIRT32 build"}},{"before":null,"after":"dc879d75374d2ecfac94a1725a8c9e3d42b86726","ref":"refs/heads/no-vm-armvirt32","pushedAt":"2024-03-16T10:44:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"camkes-vm: remove unsupported ARMVIRT32 build\n\nARMVIRT32 is currently not supported in the VM, and there are no\nimmediate plans to change that since work is focused on 64 bit VMMs.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"camkes-vm: remove unsupported ARMVIRT32 build"}},{"before":"d9f7a541890e4cd56bddec1e4b891b564fe2c2c3","after":null,"ref":"refs/heads/expect-fix","pushedAt":"2024-03-16T09:48:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"49c59bf2b22ff88fecf7ba8da61404bbef6d620a","after":"d9f7a541890e4cd56bddec1e4b891b564fe2c2c3","ref":"refs/heads/master","pushedAt":"2024-03-16T09:48:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"simulation: fix expect script; add failure string\n\n- the syntax for the expect script wasn't quite right; now fixed.\n- add a failure string for early abort where the builds support that.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"simulation: fix expect script; add failure string"}},{"before":null,"after":"d9f7a541890e4cd56bddec1e4b891b564fe2c2c3","ref":"refs/heads/expect-fix","pushedAt":"2024-03-15T13:13:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"simulation: fix expect script; add failure string\n\n- the syntax for the expect script wasn't quite right; now fixed.\n- add a failure string for early abort where the builds support that.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"simulation: fix expect script; add failure string"}},{"before":"28d9db27f085e90bd46d394673f1638c046f964e","after":"8c2b7d670cec27199478d82264b591d7e00f3ef5","ref":"refs/heads/sim-scripts","pushedAt":"2024-03-14T21:18:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wom-bat","name":"Peter Chubb","path":"/wom-bat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2782095?s=80&v=4"},"commit":{"message":"Merge branch 'master' into sim-scripts","shortMessageHtmlLink":"Merge branch 'master' into sim-scripts"}},{"before":null,"after":"28d9db27f085e90bd46d394673f1638c046f964e","ref":"refs/heads/sim-scripts","pushedAt":"2024-03-14T21:14:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wom-bat","name":"Peter Chubb","path":"/wom-bat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2782095?s=80&v=4"},"commit":{"message":"Add success criteria for simulation runs\n\nSigned-off-by: Peter Chubb <peter.chubb@unsw.edu.au>o","shortMessageHtmlLink":"Add success criteria for simulation runs"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAET0aZzAA","startCursor":null,"endCursor":null}},"title":"Activity · seL4/ci-actions"}