Skip to content
EasyCrypt compilation & check

[runtest] fail when a dir fails to match #4409

Sign in to view logs

[runtest] fail when a dir fails to match

[runtest] fail when a dir fails to match #4409

Triggered via push February 23, 2026 10:11
@strubstrub
pushed e39c276
main
Status Success
Total duration 16m 41s
Artifacts 9

ci.yml

on: push
EasyCrypt compilation (opam)
1m 24s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 42s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
5s
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) Expired
413 Bytes
sha256:1257d747b18996566f60108bc562870fb54d079b2f129779cfce8a45583c6aa3
report.log (examples) Expired
1.25 KB
sha256:7d3c07e796889357d52ec2d678a36a16febb817a7a179297a9f7516af9ba6f77
report.log (jasmin-eclib) Expired
514 Bytes
sha256:b44284e936b7c4ce02adc66e77af33b33993b4e6d1a71aaf34c996fd093401d0
report.log (sha3) Expired
660 Bytes
sha256:95af84f5c137c45124ad85f524a1c4de649ee7df8aa07c18e252ec9a3403a99e
report.log (sphincsplus) Expired
543 Bytes
sha256:bfbb3c11c650a1ce7a330ea6c5b8fbda8f4bfa9e95153bde9f4eeb4b5cb0db7f
report.log (stdlib) Expired
2.59 KB
sha256:50885d29fb3fc87d3aae84463e8185bef30d12e244e7c046efac99e1d04d64c3
report.log (unit) Expired
1.07 KB
sha256:1c90c42128fbc0ecf36c7fafcedd96fe9c8337bd42c72580a2b82f81086fd5f5
report.log (xmss-security) Expired
583 Bytes
sha256:8baa4bec75d88f383ac2294082817088a7f1f39e78e0253f25bd31309360410b
report.log (xsalsa20) Expired
337 Bytes
sha256:d9ebbd8bd2e005e6b9d4a512e656eed01a508fb1ddee7189f434e70c582a0bee