feat: stronger precondition in a premise for tactics eager-seq and ea… · EasyCrypt/easycrypt@dde99a1

Triggered via push June 30, 2026 09:34

main

Status Success

Total duration 6m 46s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:15ac97388c0cee82420ae8406c7e945af423ffdabeec0d4c0d7e752c4ef85d94`