Skip to content
Build & Test C

Proofs for Ind-cpa and portable compress modules #1006

Sign in to view logs

Proofs for Ind-cpa and portable compress modules

Proofs for Ind-cpa and portable compress modules #1006

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

c.yml

on: pull_request
extract
2m 55s
extract
extract-header-only
2m 47s
extract-header-only
diff
6s
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