Skip to content
Build & Test C

Adapt proofs to use transparent integers #1408

Sign in to view logs

Adapt proofs to use transparent integers

Adapt proofs to use transparent integers #1408

Triggered via pull request January 24, 2025 17:36
@karthikbhargavankarthikbhargavan
synchronize #756
transparent-integers
Status Success
Total duration 35m 56s
Artifacts 3

c.yml

on: pull_request
extract
2m 31s
extract
extract-header-only-ml-dsa
3m 9s
extract-header-only-ml-dsa
extract-header-only-ml-kem
2m 44s
extract-header-only-ml-kem
diff
6s
diff
Matrix: build
diff-header-only-ml-dsa
5s
diff-header-only-ml-dsa
Matrix: build-header-only-ml-dsa
diff-header-only-ml-kem
7s
diff-header-only-ml-kem
Matrix: build-header-only-ml-kem
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
extract
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
extract-header-only-ml-dsa
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
extract-header-only-ml-kem
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
diff
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
diff-header-only-ml-dsa
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-header-only-ml-dsa (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
diff-header-only-ml-kem
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-header-only-ml-kem (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
c-extraction
215 KB
header-only-c-extraction-ml-dsa
108 KB
header-only-c-extraction-ml-kem
173 KB