Adding functions for message_4 #1128
build-and-test.yml
on: pull_request
check-style
18s
generate-fstar
1m 58s
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
|
307 KB |
|