Skip to content

Merge pull request #307 from metanorma/fix/annotation #291

Merge pull request #307 from metanorma/fix/annotation

Merge pull request #307 from metanorma/fix/annotation #291

Annotations

1 error and 4 warnings

test (1.8, macos-latest, false)

failed Nov 1, 2024 in 1m 57s