Bump rupicola from 24f4a75 to 041455f
#486
Triggered via pull request
February 5, 2025 23:38
JasonGross
Status
Failure
Total duration
2h 47m 54s
Artifacts
4
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:298b37b26a6d89b4af3c6fa62c5dd90a93ffa7592c081dee0e0a89c54352f30e
|
|
|
ExtractionOCaml-archlinux
|
388 MB |
sha256:b02b2a8d583a165fb8809418edc9b0d6ca9691d93c203ceaf4554f165eab2ab4
|
|
|
generated-files-archlinux
|
4.88 MB |
sha256:8354deb670a0df1154f65d317a186c025158dc1395727c3a0d3c305434b48242
|
|
|
timing-files-archlinux
|
2.05 MB |
sha256:f0a709b987b42a8e06fd829cbe5fdb6777d72ffa42d72eaf4ed875e0ed1c2e41
|
|