Add from_bytes asm tests (take 2) #4870
Triggered via pull request
March 13, 2025 00:55
JasonGross
Status
Failure
Total duration
8h 16m 46s
Artifacts
1
coq-windows.yml
on: pull_request
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:73e4d8ad8849cf7616d92b5ea7233278cafff4c0bc1ec22672fb87c04881a346
|
|