Skip to content
dune CI

CHB: create def-use from reachingdefs #113

Sign in to view logs

CHB: create def-use from reachingdefs

CHB: create def-use from reachingdefs #113

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
7m 15s
Compile and test CodeHawk (4.13.1)
6m 57s
Compile and test CodeHawk (4.14.1)
7m 10s
Compile and test CodeHawk (5.0.0)
7m 51s
Compile and test CodeHawk (5.1.1)
7m 9s
Run CodeHawk-C tests (4.12.1)
1m 29s
Run CodeHawk-C tests (4.13.1)
1m 32s
Run CodeHawk-Binary tests (4.12.1)
27s
Run CodeHawk-C tests (4.14.1)
1m 3s
Run CodeHawk-Binary tests (4.13.1)
30s
Run CodeHawk-C tests (5.0.0)
1m 7s
Run CodeHawk-Binary tests (4.14.1)
22s
Run CodeHawk-C tests (5.1.1)
1m 10s
Run CodeHawk-Binary tests (5.0.0)
23s
Run CodeHawk-Binary tests (5.1.1)
22s
44m 47s