Better ordering on print-report #967
Triggered via pull request
March 13, 2025 05:39
JasonGross
Status
Cancelled
Total duration
18h 10m 2s
Artifacts
10
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
3s
Annotations
3 errors and 4 warnings
|
test-amd64
The operation was canceled.
|
|
test-amd64
The job has exceeded the maximum execution time of 6h0m0s
|
|
docker-check-all
Process completed with exit code 1.
|
|
publish-standalone-dry-run
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
publish-standalone-dry-run
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
deploy-js-wasm-of-ocaml
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
deploy-js-wasm-of-ocaml
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-master
|
339 MB |
sha256:e8efad091ab6d390800a409514b519fe40687738caceaca2dd366185ab07f47b
|
|
|
ExtractionHaskell-source-master
|
23.8 MB |
sha256:399e5402892d5c68f014d4afcc2758ee10b224d5fdf9d3b3b73307d74b0b59b9
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:2f5cec3605218a688422af23697f8f708b4395f39ca526c4f43d8b8ad0d44caf
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:ecd0b05f973298879dc35a680206295980b0d6cd8bc182beb5169771116dbd01
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:5db6f87fd15d7114182a2825f8759f949b4ab3d3ffec499758c1286335dcb16f
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:c2fd3c5dce1a42aef4fcc18ba9d896e76c3637810848a22bb9ff6f336dcd892b
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:450af2924b32b5a750257bc80fcd1bdb1209c2006e5941bf3ff9736752140fd3
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:8d533c87d9102367734d9527d030508599ce2197f08c825bba40596cd0905c71
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:5b2f3bd33d0ecdd4a07fd7e41c00dfc319d342e3d51b625d632923af497265de
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:5eed043c7712d9ddb3af5525956704a1dd6aa1e0311ad0382e42d34cc52d4ce8
|
|