Skip to content

Merge pull request #823 from cryspen/keks/fix-chachapoly #1628

Merge pull request #823 from cryspen/keks/fix-chachapoly

Merge pull request #823 from cryspen/keks/fix-chachapoly #1628

Triggered via push February 13, 2025 16:36
Status Success
Total duration 47m 16s
Artifacts 3

c.yml

on: push
extract-header-only-ml-dsa
3m 7s
extract-header-only-ml-dsa
extract-header-only-ml-kem
2m 57s
extract-header-only-ml-kem
Matrix: build
Matrix: build-header-only-ml-dsa
diff-header-only-ml-dsa
5s
diff-header-only-ml-dsa
Matrix: build-header-only-ml-kem
diff-header-only-ml-kem
6s
diff-header-only-ml-kem
report-status-tests
0s
report-status-tests
report-status-all
0s
report-status-all
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
c-extraction
218 KB
header-only-c-extraction-ml-dsa
109 KB
header-only-c-extraction-ml-kem
174 KB