document `clear` tactic (#895) · EasyCrypt/easycrypt@ad0f28a

Triggered via push February 13, 2026 14:03

oskgo

main

Status Success

Total duration 6m 3s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.85 MB	`sha256:2762e27f0289cbe7ae77d0935b289e128fbfbca583f24f5f9925dabf6d5daf9a`