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 ?) - [x] ~~Remove the 'Build SDK' workflow in favour of reusing the manifest for PRs~~ Fixed by #546.
Things we should do after #475
hardware-testlabels in case we want thatRemove the 'Build SDK' workflow in favour of reusing the manifest for PRsFixed by ci: use microkit-manifest for PR SDK builds #546.