Stronger precondition in pRHL tactics `eager-seq` and `eager-while` · EasyCrypt/easycrypt@460c423

Triggered via pull request June 23, 2026 14:38

loutr

opened #1059

Status Success

Total duration 3m 58s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:d6fe1447e40f1cd07a8ebdccc393682a61b7d27a99d7df2b17041ae36a5f49f2`