Skip to content
EasyCrypt compilation & check

Introduce a system-wide, parts-oriented configuration file #3927

Sign in to view logs

Introduce a system-wide, parts-oriented configuration file

Introduce a system-wide, parts-oriented configuration file #3927

Triggered via pull request August 28, 2025 10:31
@strubstrub
synchronize #801
multi-config
Status Failure
Total duration 5m 56s
Artifacts –

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 48s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 16s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...
Process completed with exit code 2.
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
Process completed with exit code 2.
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...
Process completed with exit code 2.
Check EasyCrypt Libraries (unit)
Process completed with exit code 2.
Check EasyCrypt Libraries (stdlib)
Process completed with exit code 2.
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...
Process completed with exit code 2.
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...
Process completed with exit code 2.
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.