Add from_bytes asm tests (take 2) #615
Triggered via pull request
March 11, 2025 19:14
JasonGross
Status
Failure
Total duration
12h 45m 33s
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:9fe5046618c1d5e4d1165813c50d0dba0d7a02ee67ae726c879e8c852c725e58
|
|
|
ExtractionOCaml-archlinux
|
389 MB |
sha256:916056c9283de6203951db458adb60e37701da5db5d99bf34943865e43257ab4
|
|
|
standalone-archlinux
|
9.4 MB |
sha256:4e537cbc2ac729f9f9a52325b8f9e426f8a5606f94013bad19a5e3836e56d4dd
|
|