Skip to content
Makefile CI

CHC: A number of fixes for command line arguments handling #154

Sign in to view logs

CHC: A number of fixes for command line arguments handling

CHC: A number of fixes for command line arguments handling #154

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile CodeHawk (4.13.1)
2m 33s
Compile CodeHawk (4.14.1)
2m 29s
Compile CodeHawk (4.12.1)
2m 35s
Run CodeHawk-C tests (4.12.1)
1m 31s
Run CodeHawk-Binary tests (4.12.1)
26s
Run CodeHawk-C tests (4.14.1)
58s
Run CodeHawk-Binary tests (4.13.1)
24s
Run CodeHawk-Binary tests (4.14.1)
18s
Run CodeHawk-C tests (4.13.1)
1m 32s
12m 46s