EasyCrypt compilation & check

improve error messages #4080

Sign in to view logs

Re-run triggered November 18, 2025 16:12

strub

main

Status Success

Total duration 3m 5s

Artifacts 10

ci.yml

on: push

EasyCrypt compilation (opam)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (nix)

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Check EasyCrypt External Projects (set-status)