Things we should do after #475 - [ ] Get simulation working for PRs (+deploy) - [ ] Add support for `hardware-test` labels in case we want that - [ ] Build all examples, for all boards, for all configs. - [ ] Address some more of the mismatch in platforms per https://github.com/seL4/ci-actions/pull/459#pullrequestreview-4206123413 - [ ] Make seL4 updates trigger microkit manifest rebuilds (? maybe ?)
Things we should do after #475
hardware-testlabels in case we want that