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

Triggered via pull request June 23, 2026 14:46

loutr

opened #1060

Status Success

Total duration 3m 29s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:7ff2d6e6c053522712d77a9e91095694f650f103d1cd4773757b22f5db934f3d`