Skip to content
Triggered via push November 29, 2024 15:42
Status Failure
Total duration 6m 15s
Artifacts 10

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 11s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
5m 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
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)
477 Bytes
report.log (examples)
1.44 KB
report.log (jasmin-eclib)
532 Bytes
report.log (sha3)
825 Bytes
report.log (sphincsplus)
692 Bytes
report.log (stdlib)
2.83 KB
report.log (unit)
481 Bytes
report.log (xmss-acai)
691 Bytes
report.log (xmss-fsai)
670 Bytes
report.log (xsalsa20)
416 Bytes