Bump rupicola from 24f4a75 to 041455f
#478
Triggered via pull request
February 3, 2025 08:07
dependabot[bot]
Status
Failure
Total duration
1h 38m 49s
Artifacts
3
coq-archlinux.yml
on: pull_request
Annotations
5 errors
|
archlinux:
src/Bedrock/End2End/X25519/GarageDoor.v#L239
Could not find an instance for the following existential variables:
?BW : Bitwidth ?width
?word : word ?width
?mem : map.map word.rep byte
?locals : map.map string word.rep
?ext_spec : LeakageSemantics.ExtSpec
?pick_sp : LeakageSemantics.PickSp
|
|
archlinux
Makefile.coq:818: src/Bedrock/End2End/X25519/GarageDoor.v
|
|
archlinux
Makefile.coq:818: src/Bedrock/End2End/X25519/GarageDoor.v
|
|
archlinux
Process completed with exit code 2.
|
|
archlinux-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-archlinux
|
23.5 MB |
sha256:86b0c6fa992889f774db3b652327cbbaac2fbbdb769da2c401a3c63881fa4ab4
|
|
|
ExtractionOCaml-archlinux
|
388 MB |
sha256:92e1d4069c12da62d408003c38916d54e3a28bbf2e90ecaa39c2883f044e71cf
|
|
|
generated-files-archlinux
|
4.86 MB |
sha256:171eb818f6311ee7d7913cc8b48006385274f48fc93f2234ed0579fb74708537
|
|