Tactic: add hoare split · EasyCrypt/easycrypt@150fcfa

Triggered via pull request February 12, 2026 16:32

strub

synchronize #888

hoare-split

Status Success

Total duration 3m 32s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.85 MB	`sha256:2ea6743c16c5ddf88f583d15711f663e31822f75334aaa8f64ccd4f3f0c1b61c`