Add from_bytes asm tests (take 2) #647
Triggered via pull request
March 13, 2025 00:55
JasonGross
Status
Failure
Total duration
8h 17m 50s
Artifacts
3
coq-archlinux.yml
on: pull_request
Annotations
4 errors
|
archlinux
Process completed with exit code 2.
|
|
archlinux
Makefile.test-amd64-files.mk:601: fiat-amd64/curve25519-from_bytes.only-status
|
|
archlinux
Makefile.test-amd64-files.mk:601: fiat-amd64/curve25519-from_bytes.only-status
|
|
archlinux-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-archlinux
|
360 MB |
sha256:023ddf7b530415426f073d92d720967508ab4126d204c588b3692888f4e79fe9
|
|
|
ExtractionOCaml-archlinux
|
390 MB |
sha256:e0213d7ebd13b98a164252d59792f051482351ea689bf9eb2901ac027f156bbe
|
|
|
standalone-archlinux
|
9.42 MB |
sha256:c13e9c2fc9de817139cb127b2719acc2f4e9e0aa36b51803d0b578bc4524a3f8
|
|