Verified Bedrock2 code for Number-Theoretic Transform #777
Triggered via pull request
December 31, 2024 14:59
atrieu
Status
Failure
Total duration
1h 11m 24s
Artifacts
3
coq-docker.yml
on: pull_request
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
docker-check-all
0s
Annotations
5 errors and 2 warnings
|
docker-master
Makefile.coq:818: src/NTT/MLKEM.v
|
|
docker-master
Makefile.coq:818: src/NTT/MLDSA.v
|
|
docker-master
Makefile.coq:818: src/NTT/MLKEM.v
|
|
docker-master
Makefile.coq:818: src/NTT/MLDSA.v
|
|
docker-check-all
Process completed with exit code 1.
|
|
docker-master
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
docker-check-all
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionHaskell-source-master
|
23.5 MB |
|
|
ExtractionJsOfOCaml-source-master
|
6.05 MB |
|
|
ExtractionOCaml-master
|
863 MB |
|