Fix spurious line breaks in pretty-printing of qualified module paths · EasyCrypt/easycrypt@a99ec86

Re-run triggered February 12, 2026 10:33

strub

#898

Status Success

Total duration 3m 46s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.85 MB	`sha256:1407d8ecd84766b61db7f11a742bc4763b84e9270d2edb6279f65288cbd6d661`