Skip to content

PP: various fixes #3530

PP: various fixes

PP: various fixes #3530

Triggered via pull request December 23, 2024 09:40
@strubstrub
synchronize #664
fix-pp-glitches
Status Success
Total duration 22m 40s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
1m 12s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
37s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
2s
Check EasyCrypt External Projects (set-status)
Notification
6s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
410 Bytes
report.log (examples)
1.1 KB
report.log (jasmin-eclib)
465 Bytes
report.log (sha3)
666 Bytes
report.log (sphincsplus)
550 Bytes
report.log (stdlib)
2.24 KB
report.log (unit)
605 Bytes
report.log (xmss-acai)
551 Bytes
report.log (xmss-fsai)
541 Bytes
report.log (xsalsa20)
340 Bytes