Skip to content
CI Build

remove Holmakefile.gen and replace with CakeML style Holmakefile #688

Sign in to view logs

remove Holmakefile.gen and replace with CakeML style Holmakefile

remove Holmakefile.gen and replace with CakeML style Holmakefile #688

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (v5.7.1, 4.8.4, kananaskis-14)
11s
Build (v5.9, 4.8.4, kananaskis-14)
13s
24s