strubci.yml
on: pull_request
EasyCrypt compilation (opam)
3m 52s
Fetch EasyCrypt External Projects Matrix
10s
EasyCrypt compilation (nix)
10s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Annotations
2 errors and 4 warnings
|
EasyCrypt compilation (nix)
Process completed with exit code 2.
|
|
EasyCrypt compilation (opam)
Process completed with exit code 2.
|
|
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
|
|
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 (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 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
|