Extend code-position handling with gap/range semantics · EasyCrypt/easycrypt@98de146

Triggered via pull request March 29, 2026 10:22

strub

synchronize #945

refactor_codepos

Status Success

Total duration 3m 54s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:8a3c77393438f82670249e7a76d4181875edf035b83f50ab3c0cd6bdba6fe39e`