[documentation]: document `if` · EasyCrypt/easycrypt@de65b48

Triggered via pull request January 27, 2026 10:53

strub

synchronize #875

doc-if-tactic

Status Success

Total duration 3m 34s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.83 MB	`sha256:515f4359ab6caaf1a6420db853be6affd87ee899f5f0ef81d0a1b5eed870086c`