document `clear` tactic · EasyCrypt/easycrypt@0c72df4

Triggered via pull request February 11, 2026 12:59

oskgo

opened #895

doc-clear

Status Success

Total duration 3m 30s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.85 MB	`sha256:af8c2a50528cd9cf75cd1e0f85a8d4113c4edc8552e3de0e04595e59f1b32368`