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

Triggered via pull request March 3, 2026 15:37

strub

synchronize #915

Status Success

Total duration 3m 52s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.87 MB	`sha256:09e45713c4d9daadcd4742f1a839b65605d430f182d65cd2bdea320ef684d7b5`