Skip to content
CI (Coq, Alpine)

Add from_bytes asm tests (take 2) #1023

Sign in to view logs

Add from_bytes asm tests (take 2)

Add from_bytes asm tests (take 2) #1023

Triggered via pull request March 13, 2025 00:55
@JasonGrossJasonGross
synchronize #2046
revert-2045-revert-2043-from-bytes-asm-tests
Status Failure
Total duration 7h 9m 28s
Artifacts 3

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
3s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

4 errors
alpine-edge
Process completed with exit code 2.
alpine-edge
Makefile.test-amd64-files.mk:601: fiat-amd64/curve25519-from_bytes.only-status
alpine-edge
Makefile.test-amd64-files.mk:601: fiat-amd64/curve25519-from_bytes.only-status
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-edge
341 MB
sha256:c6f4505791fed05502b688c996b07baec4eae2ed14e08224084b4ddb310be9ad
ExtractionOCaml-edge
344 MB
sha256:d37ee8e615af3b98a88c585b8689b37c0d29b8ec435a40565e56189cd149429f
standalone-edge
7.63 MB
sha256:777ee3b86cebdd9105d188ffb2b0aaa15bb0539ff8503f2f7cc6d9efcefc0b2f