Skip to content

Refactor for hax: avoid unneeded .unwrap calls #554

Refactor for hax: avoid unneeded .unwrap calls

Refactor for hax: avoid unneeded .unwrap calls #554

Triggered via pull request November 20, 2023 16:55
Status Success
Total duration 4m 6s
Artifacts
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
11s
check-style
Matrix: unit-tests
Matrix: build-edhoc-package
Matrix: build-example-for-cortex-m4
Matrix: build-static-lib-and-headers
Matrix: run-example-on-qemu
build-coap-example
54s
build-coap-example
generate-fstar
0s
generate-fstar
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build-static-lib-and-headers (crypto-psa-baremetal)
No files were found with the provided path: ./target/staticlib-*.zip. No artifacts will be uploaded.
build-static-lib-and-headers (crypto-cryptocell310)
No files were found with the provided path: ./target/staticlib-*.zip. No artifacts will be uploaded.