Reconstruct match correctly in zip · EasyCrypt/easycrypt@feb688f

Triggered via push February 14, 2026 07:15

strub

main

Status Success

Total duration 3m 50s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman Expired	7.86 MB	`sha256:45cff3a4457a5302810debcddc665ca875170ee32597530729ac1a55ea118620`