Extend code-position handling with gap/range semantics · EasyCrypt/easycrypt@3faffa9

Triggered via pull request March 29, 2026 14:37

strub

synchronize #945

refactor_codepos

Status Success

Total duration 3m 55s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:996290770ce3df544d115a1e0a4a373fd578e6a5dd0945777e67a45dddc7bc79`