Bump rupicola from 59751db to 307c633
#1300
dependabot[bot]coq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
4s
Annotations
5 errors
|
debian-sid
Process completed with exit code 2.
|
|
debian-sid
Makefile.coq:818: src/Bedrock/Field/Translation/Parameters/Defaults.v
|
|
debian-sid
Makefile.coq:818: src/Bedrock/Field/Translation/Parameters/Defaults.v
|
|
debian-sid:
./src/Bedrock/Field/Translation/Parameters/Defaults.v#L52
Non exhaustive pattern-matching: no clause found for pattern
expr.op1 _ _
|
|
debian-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-sid
Expired
|
6.29 KB |
sha256:d4752e9e13240ed0bda6af6242734fdc9da64825f33a45c1433fe08699d46be5
|
|
|
ExtractionJsOfOCaml-sid
Expired
|
751 Bytes |
sha256:d946ff79304d538dbd22383684f68a8110d8e86c0d2601e39f53396eaa06a52a
|
|
|
ExtractionOCaml-sid
Expired
|
5.86 KB |
sha256:82d723c7d298accbe001e6988e8e48e2681726fac609b04d91a69a83e1fe6af9
|
|
|
generated-files-sid
Expired
|
4.87 MB |
sha256:fc2b12ae1085a009b4b8eaa9971776a27bdfe2e08915920deadd4b380420a99f
|
|
|
timing-files-sid
Expired
|
1.9 MB |
sha256:7a033021d8c61437754f0cb647a939800b94ec3854bc5cc4ef0659fce1c84e5b
|
|