secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-docs/.github/workflows
History
Gerwin Klein 4e47a0cb97 github: bump runner OS version 
20.04 is no longer supported. Python and ruby version remain pinned.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-04-27 10:56:42 +10:00
..
build.yml github: bump runner OS version 2025-04-27 10:56:42 +10:00
pr.yml github: use central CI workflows 2025-03-17 11:44:11 +11:00
push.yml github: use central CI workflows 2025-03-17 11:44:11 +11:00