Eager: match on last statement and use EqTest · EasyCrypt/easycrypt@4d9254a

Triggered via pull request February 14, 2026 07:16

strub

synchronize #900

fix-eager

Status Success

Total duration 6m 3s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.86 MB	`sha256:a5d52aa3b4c115af575f643080ec2a28aa3604db0d3971f5ce74704673bf0dda`