Skip to content
Build & Test C

Port proofs for constant_time_ops.rs #851

Sign in to view logs

Port proofs for constant_time_ops.rs

Port proofs for constant_time_ops.rs #851

Triggered via pull request September 23, 2024 13:35
@mamonetmamonet
synchronize #559
dev-constant-time
Status Failure
Total duration 23m 8s
Artifacts 2

c.yml

on: pull_request
extract
2m 35s
extract
extract-header-only
2m 36s
extract-header-only
diff
5s
diff
Matrix: build
diff-header-only
5s
diff-header-only
Matrix: build-header-only
Fit to window
Zoom out
Zoom in

Annotations

4 errors
diff-header-only
Process completed with exit code 1.
build-header-only (ubuntu-latest)
Process completed with exit code 2.
diff
Process completed with exit code 1.
build-header-only (macos-latest)
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
c-extraction
209 KB
header-only-c-extraction
140 KB