Skip to content

Some clean up

Some clean up #3521

Triggered via push December 18, 2024 13:25
Status Failure
Total duration 6m 23s
Artifacts 10
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 12s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 15s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
1s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.
Check EasyCrypt Libraries (stdlib)
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
479 Bytes
sha256:301e8c2039aa81d37b4a113ac235dc75bafb8a3ec996914d57242073f58f8235
report.log (examples) Expired
1.44 KB
sha256:6bd161fd3868ac4f00c178f60d687e2701529685f1f338f765d6314f8f6d4f81
report.log (jasmin-eclib) Expired
527 Bytes
sha256:0acc26afa97b31ba4be89e6d35cedb23d6e9c5aaf835025798f3153d0cf0d650
report.log (sha3) Expired
831 Bytes
sha256:96401b91694502c6c3097a805213e21441f57eb4e6f56b5268b2dd6a90179797
report.log (sphincsplus) Expired
690 Bytes
sha256:6bc25bf1069679015a3066cb2aea3be3dd701586306a4399f344dd1781d6c6fc
report.log (stdlib) Expired
2.82 KB
sha256:7c037c4db8be37ace3a3e07340cb355f5479258ac1f4ffb62b4bc9a8aca624d9
report.log (unit) Expired
492 Bytes
sha256:2bef0ac08bbd8c4dd1f1f55cfde1227c79c21994e01a497f8bd04fb22e55b2d4
report.log (xmss-acai) Expired
698 Bytes
sha256:13214aea7ca860a333e79d49712633c3f0be0c585d3b889a9a5faf1bff1a5f45
report.log (xmss-fsai) Expired
678 Bytes
sha256:72f2f2d7ca54211d8fdbc5b8e517b17541896f5e4d0789f2960a49b7907d60bb
report.log (xsalsa20) Expired
417 Bytes
sha256:302cc3f4addf98b260e198e918129708301055c860d4e048bbf1ebe64c042f90