Adding functions for message_4 #1139
build-and-test.yml
on: pull_request
check-style
17s
generate-fstar
2m 8s
Matrix: unit-tests
Matrix: build-edhoc-package
Matrix: build-example-for-cortex-m4
Matrix: build-lakers-c
Matrix: run-example-on-qemu
release
0s
Annotations
1 error
check-style
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
fstar-code
|
310 KB |
|