Skip to content
dune CI

Cmdlineargs #236

Sign in to view logs

Cmdlineargs

Cmdlineargs #236

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.0.0)
6m 52s
Compile and test CodeHawk (4.13.1)
5m 48s
Compile and test CodeHawk (4.14.1)
6m 24s
Compile and test CodeHawk (5.1.1)
7m 5s
Compile and test CodeHawk (4.12.1)
6m 33s
Run CodeHawk-C tests (5.1.1)
1m 16s
Run CodeHawk-C tests (4.13.1)
1m 39s
Run CodeHawk-Binary tests (4.14.1)
18s
Run CodeHawk-C tests (5.0.0)
1m 9s
Run CodeHawk-C tests (4.14.1)
1m 7s
Run CodeHawk-Binary tests (5.1.1)
16s
Run CodeHawk-C tests (4.12.1)
1m 43s
Run CodeHawk-Binary tests (4.13.1)
18s
Run CodeHawk-Binary tests (5.0.0)
22s
Run CodeHawk-Binary tests (4.12.1)
22s
41m 12s