document `clear` tactic · EasyCrypt/easycrypt@6948054

Triggered via pull request February 13, 2026 12:48

oskgo

synchronize #895

doc-clear

Status Success

Total duration 3m 37s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.85 MB	`sha256:2be1d98a0e427a32be6842252bcd6bc09f84383d507a8eb33506b1c305713b0b`