Skip to content

Merge pull request #1000 from tleedjarv/fix-attr-warning #512

Merge pull request #1000 from tleedjarv/fix-attr-warning

Merge pull request #1000 from tleedjarv/fix-attr-warning #512

Annotations

1 warning

build (macos-12, 5.1.0+options,ocaml-option-no-compression)

succeeded Mar 23, 2024 in 11m 50s