Skip to content

ci: support for running HW CI#475

Draft
midnightveil wants to merge 6 commits intoseL4:mainfrom
au-ts:julia/ci-clean
Draft

ci: support for running HW CI#475
midnightveil wants to merge 6 commits intoseL4:mainfrom
au-ts:julia/ci-clean

Conversation

@midnightveil
Copy link
Copy Markdown
Contributor

@midnightveil midnightveil commented Apr 21, 2026 •
edited
Loading

TODO:

  • Rename references to 'au-ts' repositories with final versions under 'seL4'
  • Remove references to dead branches
  • Move au-ts/microkit-manifest to seL4/microkit-manifest repository
  • Add 'CI_SSH' (github ssh for the seL4-ci bot) and 'HW_SSH' (seL4_ci TS account)
  • (optional) get simulation working (?)
  • Test that manifest deploy works: this needs the SSH keys setup
  • Get seL4 ci-actions updates merged: Support Microkit HW CI ci-actions#459
  • Fix broken TQMA and rpi4b_8gb boards
  • Retest doing a full run prior to merge (GitHub seems to have not run this new workflow?) (it does, just on the commit itself in the branch because it runs on push)
  • Should we remove the existing build SDK workflow?
  • Add workflows for the 'hardware-test' label, like seL4 has? (punt to after this has been merged?)

@midnightveil midnightveil force-pushed the julia/ci-clean branch 4 times, most recently from df1c3c1 to 6a64037 Compare April 21, 2026 02:41
@midnightveil midnightveil mentioned this pull request Apr 21, 2026
Open
@midnightveil
ci: use a separate .sh script for installing deps
2257b18 
We will duplicate this elsewhere later, so we factor it out.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil
ci: update actions version for nodejs warnings
9c4e765 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil
ci: make sdk_version.sh script more robust
b045108 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil
build_sdk.py: support generating a build matrix
7bac5a8 
Useful for microkit HW CI.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil
ci: add 'deploy' actions runner for HW CI
135a1c8 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil
ci: add a local run script that is somewhat borked
8e09639 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@midnightveil