Unify Coq CI into a single .yml file #4254
Triggered via pull request
December 26, 2023 20:06
JasonGross
Status
Failure
Total duration
2h 36m 36s
Artifacts
21
coq.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
validate-docker-master
0s
test-amd64
0s
publish-standalone
0s
check-all
0s
Annotations
17 errors and 4 warnings
|
alpine-edge
Makefile.standalone:65: src/ExtractionOCaml/fiat_crypto.cmi
|
|
alpine-edge
Makefile.standalone:65: src/ExtractionOCaml/bedrock2_fiat_crypto.cmi
|
|
alpine-edge
Makefile.standalone:65: src/ExtractionOCaml/fiat_crypto.cmi
|
|
alpine-edge
Makefile.standalone:65: src/ExtractionOCaml/bedrock2_fiat_crypto.cmi
|
|
alpine-edge
Process completed with exit code 2.
|
|
macos
src/coqutil/Byte.v
|
|
macos
all
|
|
macos
test
|
|
macos
src/Coqprime/Tactic/Tactic.v
|
|
macos
src/Rewriter/Util/GlobalSettings.v
|
|
macos
src/Rewriter/Util/IffT.v
|
|
macos
all
|
|
macos:
src/Util/ZUtil/Tactics/SimplifyFractionsLe.v#L1
src/Util/ZUtil/Tactics/SimplifyFractionsLe.v
|
|
macos:
src/Algebra/Field_test.v#L1
src/Algebra/Field_test.v
|
|
macos:
src/Util/GlobalSettings.v#L1
src/Util/GlobalSettings.v
|
|
macos:
src/Util/IffT.v#L1
src/Util/IffT.v
|
|
check-all
Process completed with exit code 1.
|
|
docker-master
No files were found with the provided path: src/ExtractionHaskell. No artifacts will be uploaded.
|
|
docker-master
No files were found with the provided path: src/ExtractionJsOfOCaml. No artifacts will be uploaded.
|
|
docker-master
No files were found with the provided path: src/ExtractionOCaml. No artifacts will be uploaded.
|
|
windows
No files were found with the provided path: dist/fiat_crypto. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionHaskell-source-alpine-edge
Expired
|
628 MB |
|
|
ExtractionHaskell-source-archlinux
Expired
|
628 MB |
|
|
ExtractionHaskell-source-debian-sid
Expired
|
628 MB |
|
|
ExtractionHaskell-source-macos
Expired
|
628 MB |
|
|
ExtractionHaskell-source-windows
Expired
|
628 MB |
|
|
ExtractionJsOfOCaml-source-alpine-edge
Expired
|
230 MB |
|
|
ExtractionJsOfOCaml-source-archlinux
Expired
|
230 MB |
|
|
ExtractionJsOfOCaml-source-debian-sid
Expired
|
230 MB |
|
|
ExtractionJsOfOCaml-source-macos
Expired
|
230 MB |
|
|
ExtractionJsOfOCaml-source-windows
Expired
|
230 MB |
|
|
ExtractionOCaml-alpine-edge
Expired
|
1.4 GB |
|
|
ExtractionOCaml-archlinux
Expired
|
2.74 GB |
|
|
ExtractionOCaml-debian-sid
Expired
|
2.8 GB |
|
|
ExtractionOCaml-macos
Expired
|
2.38 GB |
|
|
ExtractionOCaml-windows
Expired
|
2.43 GB |
|
|
build-outputs-archlinux
Expired
|
539 MB |
|
|
build-outputs-debian-sid
Expired
|
538 MB |
|
|
build-outputs-macos
Expired
|
435 MB |
|
|
standalone-archlinux
Expired
|
34.6 MB |
|
|
standalone-debian-sid
Expired
|
34.5 MB |
|
|
standalone-macos
Expired
|
23.1 MB |
|