Skip to content

syntax: Highlight Goal in any context #1373

syntax: Highlight Goal in any context

syntax: Highlight Goal in any context #1373

Annotations

11 warnings

install-opam (ubuntu-latest, 4.14.x, 8.20.0)

succeeded Nov 22, 2024 in 8m 19s