switch GarageDoor to LeakageSemantics #4710
Triggered via pull request
February 5, 2025 23:38
JasonGross
Status
Failure
Total duration
1h 47m 56s
Artifacts
–
coq-windows.yml
on: pull_request
Annotations
10 errors and 1 warning
|
windows
Makefile.coq.ex:838: D:/a/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2Examples/kyberslash.v
|
|
windows
Makefile.coq.ex:409: all
|
|
windows
Makefile:71: ex
|
|
windows
Makefile:90: bedrock2_ex
|
|
windows
Makefile.coq.ex:838: D:/a/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2Examples/kyberslash.v
|
|
windows
Makefile.coq.ex:409: all
|
|
windows
Makefile:71: ex
|
|
windows
Makefile:90: bedrock2_ex
|
|
windows
Process completed with exit code 1.
|
|
windows-check-all
Process completed with exit code 1.
|
|
windows
No files were found with the provided path: timing-files.zip. No artifacts will be uploaded.
|