feat: variant for up-to-bad call/proc tactics · EasyCrypt/easycrypt@5e99419

Triggered via pull request June 25, 2026 08:56

loutr

synchronize #1060

Status Success

Total duration 4m 4s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:69d196c3ff53a02c30a3c84ab41ddcc40238bd3979d721a4726a4fd96aa43e48`