EasyCrypt Circuit Based Reasoning Extension #3965
Triggered via pull request
September 12, 2025 14:02
Gustavo2622
Status
Failure
Total duration
6h 0m 23s
Artifacts
–
ci.yml
on: pull_request
EasyCrypt compilation (opam)
3m 58s
Fetch EasyCrypt External Projects Matrix
3s
EasyCrypt compilation (nix)
6h 0m
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Annotations
3 errors
|
EasyCrypt compilation (opam)
Process completed with exit code 2.
|
|
EasyCrypt compilation (nix)
The operation was canceled.
|
|
EasyCrypt compilation (nix)
The job has exceeded the maximum execution time of 6h0m0s
|