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 07a163012c github: set up .ruby-version + cache dependencies 
- set up Ruby according to .ruby-version
- cache Ruby deps

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2024-05-21 09:41:44 +10:00
..
build.yml github: set up .ruby-version + cache dependencies 2024-05-21 09:41:44 +10:00
pr.yml github: add standard CI actions 2020-11-30 09:25:37 +11:00
push.yml github: add standard CI actions 2020-11-30 09:25:37 +11:00