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

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
report.log (cryptobox)
479 Bytes
report.log (examples)
1.44 KB
report.log (jasmin-eclib)
527 Bytes
report.log (sha3)
831 Bytes
report.log (sphincsplus)
690 Bytes
report.log (stdlib)
2.82 KB
report.log (unit)
492 Bytes
report.log (xmss-acai)
698 Bytes
report.log (xmss-fsai)
678 Bytes
report.log (xsalsa20)
417 Bytes