Skip to content
Back to pull request #97

Adjust Rust version so that hax can translate it into fstar #249

Sign in to view logs

Adjust Rust version so that hax can translate it into fstar

Adjust Rust version so that hax can translate it into fstar #249

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-style
17s
check-style
17s
unit-tests (hacspec, hacspec, ead-none)
59s
unit-tests (hacspec, hacspec, ead-none)
59s
unit-tests (hacspec, hacspec, ead-zeroconf)
1m 3s
unit-tests (hacspec, hacspec, ead-zeroconf)
1m 3s
unit-tests (hacspec, psa, ead-none)
1m 12s
unit-tests (hacspec, psa, ead-none)
1m 12s
unit-tests (hacspec, psa, ead-zeroconf)
1m 47s
unit-tests (hacspec, psa, ead-zeroconf)
1m 10s
unit-tests (rust, psa, ead-none)
1m 6s
unit-tests (rust, psa, ead-none)
1m 6s
unit-tests (rust, psa, ead-zeroconf)
1m 15s
unit-tests (rust, psa, ead-zeroconf)
1m 15s
build-static-lib-and-headers
0s
build-edhoc-package
0s
build-example-for-cortex-m4
0s
build-coap-example
0s
build-coap-example
1m 33s
hacspec-to-fstar
0s
hacspec-to-fstar
13m 56s
run-example-on-qemu
0s
release
0s
release
0s
build-static-lib-and-headers (rust, psa-baremetal)
1m 58s
build-example-for-cortex-m4 (hacspec, psa, ead-none)
1m 56s
build-edhoc-package (hacspec, hacspec, ead-none)
1m 47s
build-static-lib-and-headers (rust, cryptocell310)
1m 59s
build-example-for-cortex-m4 (hacspec, psa, ead-zeroconf)
3m 22s
build-edhoc-package (hacspec, hacspec, ead-zeroconf)
2m 43s
build-example-for-cortex-m4 (hacspec, cryptocell310, ead-none)
1m 48s
build-edhoc-package (hacspec, psa, ead-none)
2m 31s
build-example-for-cortex-m4 (hacspec, cryptocell310, ead-zeroconf)
1m 36s
run-example-on-qemu (hacspec-psa, ead-none)
2m 25s
build-edhoc-package (hacspec, psa, ead-zeroconf)
2m 5s
build-example-for-cortex-m4 (rust, psa, ead-none)
1m 56s
run-example-on-qemu (hacspec-psa, ead-zeroconf)
2m 19s
build-edhoc-package (hacspec, psa-baremetal, ead-none)
1m 44s
build-example-for-cortex-m4 (rust, psa, ead-zeroconf)
2m 25s
run-example-on-qemu (rust-psa, ead-none)
2m 12s
build-edhoc-package (hacspec, psa-baremetal, ead-zeroconf)
2m 1s
build-example-for-cortex-m4 (rust, cryptocell310, ead-none)
1m 40s
run-example-on-qemu (rust-psa, ead-zeroconf)
2m 14s
build-edhoc-package (hacspec, cryptocell310, ead-none)
2m 7s
build-example-for-cortex-m4 (rust, cryptocell310, ead-zeroconf)
1m 58s
build-edhoc-package (hacspec, cryptocell310, ead-zeroconf)
1m 49s
build-edhoc-package (rust, psa, ead-none)
2m 18s
build-edhoc-package (rust, psa, ead-zeroconf)
2m 3s
build-edhoc-package (rust, psa-baremetal, ead-none)
2m 29s
build-edhoc-package (rust, psa-baremetal, ead-zeroconf)
1m 53s
build-edhoc-package (rust, cryptocell310, ead-none)
1m 30s
build-edhoc-package (rust, cryptocell310, ead-zeroconf)
3m 59s
1h 30m 57s