Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058) #1022
JasonGrosscoq-alpine.yml
on: push
Annotations
2 warnings
|
publish-standalone
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
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-edge
|
341 MB |
sha256:f8de7f9521b6842c294822568807ae36759394e173ecf344c4a2bc2d6a29c807
|
|
|
ExtractionOCaml-edge
|
344 MB |
sha256:f6e9bf288de88a1997c15782e242e73f4c1dbcfae54c1011990acefd20aad82e
|
|
|
standalone-edge
|
7.63 MB |
sha256:3f74c8dd3896f70350a820b9cd4ea5565316607412074aa5428c25929a1c8f0f
|
|