Tactic: add hoare split · EasyCrypt/easycrypt@18f4dd3

Triggered via pull request February 18, 2026 08:58

strub

synchronize #888

hoare-split

Status Success

Total duration 3m 30s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.86 MB	`sha256:4015f1d0ddbfbb8a4053250a6a3b0746070989e7880a46f9f94f1a39f75f1314`