Add from_bytes asm tests (take 2) #1230
Triggered via pull request
March 13, 2025 00:55
JasonGross
Status
Failure
Total duration
13h 7m 24s
Artifacts
5
coq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
4s
Annotations
4 errors
|
debian-sid
Process completed with exit code 2.
|
|
debian-sid
Makefile.test-amd64-files.mk:601: fiat-amd64/curve25519-from_bytes.only-status
|
|
debian-sid
Makefile.test-amd64-files.mk:601: fiat-amd64/curve25519-from_bytes.only-status
|
|
debian-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-sid
|
370 MB |
sha256:636dcc75adce37833b13d01c37e815ff47c5f92a23824567f51dd8967b82c36b
|
|
|
ExtractionJsOfOCaml-sid
|
117 MB |
sha256:6c36e18500a2c8cd8520643069e51f269720b7287960c219f8b6167707c0fb27
|
|
|
ExtractionOCaml-sid
|
404 MB |
sha256:bcc688fc5a7808a36e6c91cbff79a2124313adba07f63778735dcd44942c7236
|
|
|
standalone-html-sid
|
3.86 MB |
sha256:ffc08d72bd79249408afb4bd42f5d61f5098e2d9128f536abd2f54477a6dae7e
|
|
|
standalone-sid
|
10.1 MB |
sha256:ec934776c59c10e68adc7a86c1006a597fc580c4ff58a3afb116d64bb2e56849
|
|