Skip to content
EasyCrypt compilation & check

Extended type system #2280

Sign in to view logs

Extended type system

Extended type system #2280

Triggered via push December 5, 2023 23:05
@Gustavo2622Gustavo2622
pushed a950869
bdep
Status Failure
Total duration 2m 13s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
EasyCrypt compilation (opam)
2m 1s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 3s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
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 1.
EasyCrypt compilation (opam)
Process completed with exit code 2.