fix: fstar inlined code: refresh impl expr ID #1311
W95Pspc.yml
on: pull_request
extract
2m 39s
extract-header-only-ml-dsa
2m 33s
extract-header-only-ml-kem
2m 51s
diff
9s
Matrix: build
diff-header-only-ml-dsa
9s
Matrix: build-header-only-ml-dsa
diff-header-only-ml-kem
5s
Matrix: build-header-only-ml-kem
Annotations
9 warnings
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
c-extraction
|
215 KB |
|
|
header-only-c-extraction-ml-dsa
|
106 KB |
|
|
header-only-c-extraction-ml-kem
|
173 KB |
|