Back to pull request #42

capdl-loader-app: use sel4muslcsys_setup_morecore_region() #214

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
capDL-tool (ghc)	9m 41s
Language Spec PDF	1m 27s
Python build (3.9)	14s
Python build (3.x)	17s
	11m 39s