Skip to content

stable globs

stable globs #3201

Triggered via push September 20, 2024 09:20
Status Failure
Total duration 22m 48s
Artifacts 10

ci.yml

on: push
Check for Duplicates Jobs
4s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 10s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 18s
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

2 errors
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)
412 Bytes
report.log (examples)
1.33 KB
report.log (jasmin-eclib)
467 Bytes
report.log (sha3)
2.8 KB
report.log (sphincsplus)
548 Bytes
report.log (stdlib)
2.57 KB
report.log (unit)
482 Bytes
report.log (xmss-acai)
560 Bytes
report.log (xmss-fsai)
540 Bytes
report.log (xsalsa20)
338 Bytes