[runtest] fail when a dir fails to match · EasyCrypt/easycrypt@360e997

Triggered via pull request February 21, 2026 15:10

fdupress

opened #912

fix-908

Status Success

Total duration 3m 24s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.86 MB	`sha256:81a2894898e2009cf4263a0caab38655ca43ea704dcd0a3e13df31b4c2d3ad9c`