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

Triggered via pull request February 13, 2026 12:11

opened #900

fix-eager

Status Success

Total duration 3m 46s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.85 MB	`sha256:46bb16ccd004770ef5da638cc41eac8b43066cc183b922e271eb5acb35d69941`