Skip to content
CI Build

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

Sign in to view logs

remove Holmakefile.gen and replace with CakeML style Holmakefile

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

Run time

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