Skip to content

Rework import mechanism #3641

Rework import mechanism

Rework import mechanism #3641

Triggered via pull request January 20, 2025 09:47
Status Success
Total duration 27m 17s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 45s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
42s
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
2s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
413 Bytes
report.log (examples)
1.2 KB
report.log (jasmin-eclib)
491 Bytes
report.log (sha3)
669 Bytes
report.log (sphincsplus)
613 Bytes
report.log (stdlib)
2.61 KB
report.log (unit)
683 Bytes
report.log (xmss-acai)
625 Bytes
report.log (xmss-fsai)
609 Bytes
report.log (xsalsa20)
339 Bytes