Add proper error message on digest mismatch in require · EasyCrypt/easycrypt@f9c73c2

Triggered via pull request March 3, 2026 15:51

strub

synchronize #915

Status Success

Total duration 3m 41s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.87 MB	`sha256:65e879f3b60314e9052dc1ad833944bc9292ccc1d8d1b2983e8bcfe98e27cbec`