Skip to content
dune CI

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

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 #159

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.1.1)
4m 5s
Compile and test CodeHawk (4.14.1)
3m 15s
Compile and test CodeHawk (4.12.1)
4m 5s
Compile and test CodeHawk (5.0.0)
3m 27s
Compile and test CodeHawk (4.13.1)
3m 21s
Run CodeHawk-Binary tests
0s
Run CodeHawk-C tests
0s
18m 13s