portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
4929 commits 1 branch 42 tags 18 MiB
Commit graph

1 commit

Author SHA1 Message Date
Gerwin Klein
c674b62a00 github: rename hardware test workflow file 
The HW test workflow file is now responsible for multiple kinds of
hardware test.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-02-18 09:22:15 +11:00
Renamed from .github/workflows/sel4test-hw.yml (Browse further)