Skip to content
EasyCrypt compilation & check

First part of barrett proved #2790

Sign in to view logs

First part of barrett proved

First part of barrett proved #2790

Triggered via push May 11, 2024 23:09
@Gustavo2622Gustavo2622
pushed 6a626c3
PolyMicro
Status Failure
Total duration 2h 0m 39s
Artifacts 3

ci.yml

on: push
Check for Duplicates Jobs
9s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 38s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 15s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
Matrix: Check EasyCrypt External Projects
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

2 errors
EasyCrypt compilation (nix)
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.

Artifacts

Produced during runtime
Name Size
report.log (examples)
1.09 KB
report.log (stdlib)
2.21 KB
report.log (unit)
426 Bytes