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

Triggered via push July 1, 2026 15:22

main

Status Success

Total duration 6m 26s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:5112e3b9f5026ab842ddc43815968af6e2b24ec363587769ca71cf42ffee3bd4`