proofnav: improve EasyCrypt error handling in Sphinx extension · EasyCrypt/easycrypt@f7a99a4

Triggered via pull request February 4, 2026 13:39

fdupress

synchronize #882

ecproof-report-errors

Status Success

Total duration 3m 39s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.83 MB	`sha256:0e8a6ba89912cec4af57aabe0f011f076bf2a1b88170603916cdfad6f906398c`