Skip to content
Makefile CI

CHC: Add command-line argument handling to a number of checkers #155

Sign in to view logs

CHC: Add command-line argument handling to a number of checkers

CHC: Add command-line argument handling to a number of checkers #155

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile CodeHawk (4.13.1)
2m 40s
Compile CodeHawk (4.12.1)
2m 43s
Compile CodeHawk (4.14.1)
2m 22s
Run CodeHawk-C tests (4.12.1)
1m 34s
Run CodeHawk-C tests (4.13.1)
1m 34s
Run CodeHawk-Binary tests (4.14.1)
22s
Run CodeHawk-Binary tests (4.13.1)
24s
Run CodeHawk-Binary tests (4.12.1)
24s
Run CodeHawk-C tests (4.14.1)
1m 0s
13m 3s