Merge pull request #150 from geonnave/refactor-hax-returns #563
geonnave
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build-and-test.yml
on: push
check-style
14s
Matrix: unit-tests
Matrix: build-edhoc-package
Matrix: build-example-for-cortex-m4
Matrix: build-static-lib-and-headers
Matrix: run-example-on-qemu
generate-fstar
0s
release
0s
Annotations
2 warnings
|
build-static-lib-and-headers (crypto-cryptocell310)
No files were found with the provided path: ./target/staticlib-*.zip. No artifacts will be uploaded.
|
|
build-static-lib-and-headers (crypto-psa-baremetal)
No files were found with the provided path: ./target/staticlib-*.zip. No artifacts will be uploaded.
|