Skip to content
CI (Coq, docker, dev)

unary operators #1026

Sign in to view logs

unary operators

unary operators #1026

Triggered via pull request May 14, 2025 03:29
@andres-erbsenandres-erbsen
synchronize #2083
bedrock-unary-operators
Status Success
Total duration 3h 49m 43s
Artifacts 10
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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
test-amd64
2h 18m
test-amd64
publish-standalone-dry-run
15s
publish-standalone-dry-run
deploy-js-wasm-of-ocaml
1m 16s
deploy-js-wasm-of-ocaml
docker-check-all
3s
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
336 MB
sha256:a9e2895e7b72921815a23bb6385ff4b6ba28b89f3e5f048ebc02e23750c16c30
ExtractionHaskell-source-master Expired
23.7 MB
sha256:a44a401b6046f963aea6971c2cd96e3f0aa663db49946490a8bcd9a98afb6862
ExtractionJsOfOCaml-master-ocaml-4.11.1 Expired
137 MB
sha256:30b4c8f32fd1b9d47ebea520b5a8abd3ed347b145dab273b2cc26160970df4fa
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm Expired
189 MB
sha256:928d8c67e92cc01e03f920341b78eaacfb538443ff005a0f51eed27d1851ab48
ExtractionJsOfOCaml-source-master Expired
6.04 MB
sha256:3f66a5df01ed604a5169f4b4abba3bdb69f6144e58aba599f91fa126ef6537e9
ExtractionOCaml-master Expired
872 MB
sha256:e1ee4dbad8cb78db546849307aab8e2ac3a4e12812c6df2b08d8a84f9e5e180f
build-outputs-docker-coq-dev-ocaml-default Expired
1 GB
sha256:4ff820360585fa3b319368625664a342051104ff1730629a4a1651c868cb35bc
fiat-html-js-of-ocaml Expired
3.89 MB
sha256:0b0a3a28adf488c121aded83f9ec7bf988fd4fed86212c10774b5515c7604dc9
fiat-html-wasm-of-ocaml Expired
11.2 MB
sha256:74a1dcc73331c79b7b6ab7aa7884b961b10032e9857f320a375463d62b1632e8
standalone-docker-coq-dev Expired
11.7 MB
sha256:8d4493966ad38a6e499a6d9434a1fb4bf8c0bcbe64000ab9536f85498602ebfa