Skip to content
CI (Coq, docker, dev)

Disable BoringSSL-integration tests #1092

Sign in to view logs

Disable BoringSSL-integration tests

Disable BoringSSL-integration tests #1092

Triggered via push July 16, 2025 05:54
@andres-erbsenandres-erbsen
pushed 4fea40f
master
Status Success
Total duration 3h 50m 12s
Artifacts 10

coq-docker.yml

on: push
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
test-amd64
2h 17m
test-amd64
publish-standalone-dry-run
16s
publish-standalone-dry-run
deploy-js-wasm-of-ocaml
43s
deploy-js-wasm-of-ocaml
docker-check-all
4s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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 Expired
338 MB
sha256:3c2823cddd336daa73ee4208cd2141ecddb3a05492835ad40b0b4a913fcdf9ea
ExtractionHaskell-source-master Expired
23.7 MB
sha256:5b5a14e542b410a16fe84643c650e01507de0258ce3d7389ea6b66559f3fc1f1
ExtractionJsOfOCaml-master-ocaml-4.11.1 Expired
137 MB
sha256:4209f6181c452f7a638016f331a64f2d52704cacfb6f47f35a9e2f41c506e4b5
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm Expired
184 MB
sha256:e20c05d70e47ab6b297ba88693c13190c53e36351aeaf757a6e4c2257c771b1a
ExtractionJsOfOCaml-source-master Expired
6.04 MB
sha256:c0d04b4341aaea6ee114970a8ae2b02030972badaeb8938b22ec29b09a1b83f7
ExtractionOCaml-master Expired
874 MB
sha256:bede40c5944a4ee88b2e49a9d1bad0a5823d32a2a4a29c861f19507f97b0482e
build-outputs-docker-coq-dev-ocaml-default Expired
1.01 GB
sha256:bce1e6accc4adec602f8864ee4d59f63312fd46fc5e8f298bd31099b38952522
fiat-html-js-of-ocaml Expired
3.9 MB
sha256:726ae07d08155f2ad6f87f616ff05387cc0b4051eb8eb0ef4da3848c07808eb4
fiat-html-wasm-of-ocaml Expired
10.5 MB
sha256:3942dd2003bb2e2604262772888af9ccdf425962fce3d91e97ce919329705f65
standalone-docker-coq-dev Expired
11.8 MB
sha256:102c6d5ea2a6b1b7fa3cadbd1107659147d9f133487781395925390a70df3e44