Skip to content
CI (Coq, Windows)

Add from_bytes asm tests (take 2) #4838

Sign in to view logs

Add from_bytes asm tests (take 2)

Add from_bytes asm tests (take 2) #4838

Triggered via pull request March 11, 2025 19:14
@JasonGrossJasonGross
synchronize #2046
revert-2045-revert-2043-from-bytes-asm-tests
Status Failure
Total duration 5h 7m 26s
Artifacts 1

coq-windows.yml

on: pull_request
windows
3h 42m
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
2s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows
2.36 MB
sha256:fa4816cbc088afdd041e6e5d9a53a43564c4b568a53e2bd4ce7c1942d766a7ae