Skip to content
EasyCrypt compilation & check

Eager: match on last statement and use EqTest #4369

Sign in to view logs

Eager: match on last statement and use EqTest

Eager: match on last statement and use EqTest #4369

Re-run triggered February 14, 2026 11:00
@strubstrub
#900
fix-eager
Status Success
Total duration 2m 34s
Artifacts 9

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 51s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 20s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
7s
Notification
Fit to window
Zoom out
Zoom in