Skip to content
dune CI

Merge pull request #175 from sipma/functionannotations #127

Sign in to view logs

Merge pull request #175 from sipma/functionannotations

Merge pull request #175 from sipma/functionannotations #127

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
3m 30s
Compile and test CodeHawk (4.13.1)
6m 8s
Compile and test CodeHawk (4.14.1)
3m 7s
Compile and test CodeHawk (5.0.0)
3m 22s
Compile and test CodeHawk (5.1.1)
3m 16s
Run CodeHawk-Binary tests (4.12.1)
27s
Run CodeHawk-Binary tests (4.13.1)
27s
Run CodeHawk-Binary tests (4.14.1)
20s
Run CodeHawk-C tests (4.12.1)
1m 40s
Run CodeHawk-Binary tests (5.0.0)
24s
Run CodeHawk-C tests (4.13.1)
1m 29s
Run CodeHawk-Binary tests (5.1.1)
20s
Run CodeHawk-C tests (4.14.1)
1m 1s
Run CodeHawk-C tests (5.0.0)
56s
Run CodeHawk-C tests (5.1.1)
1m 5s
27m 32s