Adapt to rocq-prover/rocq#21987 (secvar status) #1804
SkySkimmercoq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
2s
Annotations
3 warnings
|
test-standalone-host (sid)
Debian sid binary does not run on ubuntu: ::group::fiat_crypto
dist/fiat_crypto: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.42' not found (required by dist/fiat_crypto)
|
|
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']
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-sid
|
340 MB |
sha256:fefb310a1e9ec6199b655e9f71b22978d2f286794a6a82d328f3c0e72ba08be6
|
|
|
ExtractionJsOfOCaml-sid
|
142 MB |
sha256:4e59975d5a4bb0185efa04ff9a06c748c01190b94c5f505b834a22229c0ad005
|
|
|
ExtractionOCaml-sid
|
408 MB |
sha256:a09c57898fcd2bb2dc0254dd7f28409824d6ca394343f33baee2803f3b9dcfd5
|
|
|
standalone-html-sid
|
3.68 MB |
sha256:13d492674b3bf4870910021f0ef98725202da96c4a71ae2fade04bf7dcc1908d
|
|
|
standalone-sid
|
10.1 MB |
sha256:15e0875ee724f5cb9ed331d8baef54de5f400ba6daa61eef447259bfac209754
|
|