Port proofs for constant_time_ops.rs #735
c.yml
on: pull_request
diff
6s
Matrix: build
diff-header-only
4s
Matrix: build-header-only
mq_status
/
mq-status
Annotations
7 errors
build-header-only (ubuntu-latest)
Process completed with exit code 2.
|
diff-header-only
Process completed with exit code 1.
|
build (ubuntu-latest)
Process completed with exit code 2.
|
diff
Process completed with exit code 1.
|
build (windows-latest)
Process completed with exit code 1.
|
build-header-only (macos-latest)
Process completed with exit code 2.
|
build (macos-latest)
Process completed with exit code 2.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
c-extraction
|
210 KB |
|
header-only-c-extraction
|
141 KB |
|