Skip to content
dune CI

Outputparameters (#237) #271

Sign in to view logs

Outputparameters (#237)

Outputparameters (#237) #271

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (5.1.1)
3m 34s
Compile and test CodeHawk (4.14.1)
3m 25s
Compile and test CodeHawk (4.12.1)
3m 40s
Compile and test CodeHawk (5.0.0)
3m 28s
Compile and test CodeHawk (4.13.1)
4m 49s
Run CodeHawk-Binary tests (5.0.0)
16s
Run CodeHawk-Binary tests (5.1.1)
17s
Run CodeHawk-C tests (4.13.1)
1m 31s
Run CodeHawk-C tests (4.14.1)
1m 4s
Run CodeHawk-Binary tests (4.12.1)
26s
Run CodeHawk-C tests (4.12.1)
1m 43s
Run CodeHawk-C tests (5.1.1)
1m 15s
Run CodeHawk-Binary tests (4.14.1)
15s
Run CodeHawk-C tests (5.0.0)
1m 13s
Run CodeHawk-Binary tests (4.13.1)
18s
27m 14s