Skip to content
Build & Test C

Proofs for Ind-cpa and portable compress modules #1007

Sign in to view logs

Proofs for Ind-cpa and portable compress modules

Proofs for Ind-cpa and portable compress modules #1007

Triggered via pull request October 30, 2024 12:54
@karthikbhargavankarthikbhargavan
synchronize #647
dev-cpa-compress
Status Failure
Total duration 14m 49s
Artifacts 1

c.yml

on: pull_request
extract
2m 47s
extract
extract-header-only
2m 40s
extract-header-only
diff
7s
diff
Matrix: build
diff-header-only
0s
diff-header-only
Matrix: build-header-only
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
c-extraction
223 KB