Skip to content

Removing hacspec

Removing hacspec #282

Triggered via pull request October 2, 2023 13:40
Status Cancelled
Total duration 1m 9s
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
14s
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
hacspec-to-fstar
0s
hacspec-to-fstar
build-coap-example
0s
build-coap-example
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

4 errors
unit-tests (rust, psa, ead-none)
The run was canceled by @geonnave.
unit-tests (rust, psa, ead-none)
The operation was canceled.
unit-tests (rust, psa, ead-zeroconf)
The run was canceled by @geonnave.
unit-tests (rust, psa, ead-zeroconf)
The operation was canceled.