Skip to content

Removing hacspec

Removing hacspec #284

Triggered via pull request October 2, 2023 13:42
Status Failure
Total duration 4m 15s
Artifacts 1
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
8s
hacspec-to-fstar
build-coap-example
1m 15s
build-coap-example
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

2 errors
hacspec-to-fstar
Process completed with exit code 128.
build-coap-example
Process completed with exit code 101.

Artifacts

Produced during runtime
Name Size
static-lib-and-headers Expired
2.24 MB