Skip to content
dune CI

CHC: add attribute post request for initialized value #241

Sign in to view logs

CHC: add attribute post request for initialized value

CHC: add attribute post request for initialized value #241

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.13.1)
3m 5s
Compile and test CodeHawk (4.12.1)
3m 38s
Compile and test CodeHawk (5.0.0)
3m 39s
Compile and test CodeHawk (5.1.1)
3m 37s
Compile and test CodeHawk (4.14.1)
3m 21s
Run CodeHawk-C tests (5.0.0)
1m 9s
Run CodeHawk-C tests (4.13.1)
1m 39s
Run CodeHawk-C tests (5.1.1)
1m 20s
Run CodeHawk-C tests (4.14.1)
1m 2s
Run CodeHawk-Binary tests (4.14.1)
16s
Run CodeHawk-C tests (4.12.1)
1m 43s
Run CodeHawk-Binary tests (5.1.1)
17s
Run CodeHawk-Binary tests (4.13.1)
24s
Run CodeHawk-Binary tests (4.12.1)
20s
Run CodeHawk-Binary tests (5.0.0)
21s
25m 51s