[documentation]: document the `splitwhile` tactic · EasyCrypt/easycrypt@c148172

Triggered via push February 4, 2026 15:14

strub

main

Status Success

Total duration 3m 37s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.83 MB	`sha256:1894773a170a227f52f6f22856de83fdd6787c88f0fb69858fafbb7b7f2d1062`