Skip to content

Exit --help with non-error status #3990

Exit --help with non-error status

Exit --help with non-error status #3990

Triggered via push September 24, 2025 18:12
Status Success
Total duration 23m 32s
Artifacts 10

ci.yml

on: push
EasyCrypt compilation (opam)
2m 48s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 59s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
4s
Check EasyCrypt External Projects (set-status)
Notification
4s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
415 Bytes
sha256:3e53a04954071366156f73926c7e1c729089cb5d208808eef4d9d17ba6992379
report.log (examples)
1.1 KB
sha256:aba930c1cc7bd88c6cd1367ad8530a884564978a3cc604aef3be3be02a00c8bf
report.log (jasmin-eclib)
507 Bytes
sha256:94c780ac093a7c48329a7278a4f5fc0109dc7838f69f29d1d1a17c3aebf40f62
report.log (sha3)
667 Bytes
sha256:8d0c7ac0bbbdd599720998770fa34e2a5c44742aae64e159f253cc7db959ded2
report.log (sphincsplus)
613 Bytes
sha256:2c2edaf18bcfed00412227fc65059aea96219c4937aeb665fe0fa7a30f42703e
report.log (stdlib)
2.54 KB
sha256:2cc9022b69682e6da774c67bdd07d9009fc4a540be129a38edaf78f4f09c07e5
report.log (unit)
862 Bytes
sha256:7caaa409f0f95a95b39a78d3fb56107df2227e5bb9c23a3a65cfb4645f9564fc
report.log (xmss-acai)
621 Bytes
sha256:aaa647c61e7c0a63cbc17e631fffd5aab63924d52fb61b3359790e2671e46e92
report.log (xmss-fsai)
603 Bytes
sha256:a780a33c7c54511db14b5e677b9e2cb64cf4e8fb73b79c8c62b80c01a83262ce
report.log (xsalsa20)
338 Bytes
sha256:ba3ecb46c4428e6594edf18c538f28bf5d948b1bffa5d6b7ee5431e3feabc41f