remove PermutationCompat #1033
andres-erbsencoq-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
6s
Annotations
4 errors and 4 warnings
|
standalone-haskell (master)
Process completed with exit code 2.
|
|
standalone-haskell (master)
Makefile.standalone:101: src/ExtractionHaskell/fiat_crypt
|
|
standalone-haskell (master)
Makefile.standalone:101: src/ExtractionHaskell/fiat_crypt
|
|
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
Expired
|
23.7 MB |
sha256:4a240a41b25c8a91a831659e161cfee4563d61100e3adb8ad7c73d2886924804
|
|
|
ExtractionHaskell-source-master
Expired
|
23.7 MB |
sha256:f2ce41954391d4f6fade42962d7f244f688296498de820cc877b011d7f23fb2f
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
Expired
|
137 MB |
sha256:924ef8d48b10175c3a1fa1628557f12a5a47633d1166c6da1a9079c136cf5ac3
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
Expired
|
189 MB |
sha256:f71dd5e92dbe075f0c35e975f793a8b5f458f1d85371ff36c69f5b99b426f3fb
|
|
|
ExtractionJsOfOCaml-source-master
Expired
|
6.04 MB |
sha256:3139f442d360c385bbd0864970041702551113783828a23ac2b5d3de89ff403a
|
|
|
ExtractionOCaml-master
Expired
|
872 MB |
sha256:8a0270b0b09111fe22934ab20b1b47093e7109137f5f88bd8f27a2947bed4133
|
|
|
build-outputs-docker-coq-dev-ocaml-default
Expired
|
1 GB |
sha256:71dbeb4a0644671e5f18ced650a961910f3cf55b7490f06b9807bca004af371c
|
|
|
fiat-html-js-of-ocaml
Expired
|
3.89 MB |
sha256:bf9dff31d48446b0f40c4702d8868ead0fcda6b6bc1704f63be2f793efcb0bd3
|
|
|
fiat-html-wasm-of-ocaml
Expired
|
11.2 MB |
sha256:155486757ccd7caf79b58e0176967588cbd4105cdd9110cd923703bfadf711f3
|
|
|
standalone-docker-coq-dev
Expired
|
11.7 MB |
sha256:b5a46f5f02314e76c45757a94acd669ae3e7958ab3dd61140bc3529f27263402
|
|