Adjust Rust version so that hax can translate it into fstar #249
geonnave
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build-and-test.yml
on: pull_request
check-style
17s
Matrix: unit-tests
Matrix: build-edhoc-package
Matrix: build-example-for-cortex-m4
Matrix: build-static-lib-and-headers
Matrix: run-example-on-qemu
release
0s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-code
Expired
|
15.1 KB |
|
|
static-lib-and-headers
Expired
|
2.24 MB |
|