Skip to content
EasyCrypt compilation & check

Added base changes for FQMul (to be reviewed) #2789

Sign in to view logs

Added base changes for FQMul (to be reviewed)

Added base changes for FQMul (to be reviewed) #2789

Triggered via push May 8, 2024 20:59
@Gustavo2622Gustavo2622
pushed 1b83209
PolyMicro
Status Failure
Total duration 2h 3m 7s
Artifacts 3

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 36s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 5s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Fetch EasyCrypt External Projects Matrix
3s
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.1 KB
report.log (stdlib)
2.22 KB
report.log (unit)
424 Bytes