Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058) #961
JasonGrosscoq-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
docker-check-all
7s
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
|
339 MB |
sha256:f0453418401406b1f6603d0c7af375f397a206c87c0a15f3ab055b4a230beee2
|
|
|
ExtractionHaskell-source-master
|
23.8 MB |
sha256:699efd8ef4fef5452eaa213ec9c400ca23d06e283c47e1654d00ff102899a0cb
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:371905c50f7b7ba694da7b91d3741abc157f2eed936cd801e1dfa7a94b0ee4bf
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:485ebc39c8e63213686a1511d1db39780b6148ee465b2f27d70d39477ec87cfa
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:de8e41de67df86c456f7fd36d36ec94ff0a5f80461a402724f68f8bcc0530432
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:79c1dfa5f616f99729b3ffe713b5332993180001ba2e42483e31a69b26bd3d25
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:f20eab9c68e56bceb2db53c5799962066ec9bddc6c26b5188bc6be16c21aff7b
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:b424cda07a0fe626a22bbe878fa575049c588fb2e3c0aafcf56739029e81da16
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:57fd1149720c99f2a464d9d1858adf7a9e45c814027a3900fcf84bec081ec0c4
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:aed5a665211178a105798b8fe82e517bee6515896fd79824101aa0d3c095abf7
|
|