Skip to content

Added github action CI build instruction#35

Closed
gameboo wants to merge 1 commit intoCTSRD-CHERI:masterfrom gameboo:ci
+27

Commits

Commits on Apr 15, 2024