Skip to content
EasyCrypt compilation & check

[internal] Introduce general code position ranges for selecting code … #3679

Sign in to view logs

[internal] Introduce general code position ranges for selecting code …

[internal] Introduce general code position ranges for selecting code … #3679

Triggered via push February 19, 2025 11:12
@Cameron-LowCameron-Low
pushed 3808ca8
main
Status Success
Total duration 24m 8s
Artifacts 10

ci.yml

on: push
EasyCrypt compilation (opam)
2m 46s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
2s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 27s
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
6s
Notification
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
Fetch EasyCrypt External Projects Matrix
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
EasyCrypt compilation (nix)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
EasyCrypt compilation (opam)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt Libraries (unit)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt Libraries (examples)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt Libraries (stdlib)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Check EasyCrypt External Projects (set-status)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
Notification
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
410 Bytes
report.log (examples)
1.19 KB
report.log (jasmin-eclib)
490 Bytes
report.log (sha3)
671 Bytes
report.log (sphincsplus)
613 Bytes
report.log (stdlib)
2.57 KB
report.log (unit)
725 Bytes
report.log (xmss-acai)
626 Bytes
report.log (xmss-fsai)
607 Bytes
report.log (xsalsa20)
340 Bytes