Extend code-position handling with gap/range semantics · EasyCrypt/easycrypt@2bc52a0

Triggered via pull request March 24, 2026 16:54

strub

synchronize #945

refactor_codepos

Status Success

Total duration 4m 20s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:809d4760f06f6043c165a8dd43ded641bf052a4d15a260f65c6be3e54619a7f5`