Skip to content
Merged

GHA: Also format .mli files#71
hannesm merged 1 commit intomainfrom format-mli

GHA: Also format .mli files#71

Merged
hannesm merged 1 commit intomainfrom format-mliOct 17, 2024

Commits

Unable to load page.

The page is unavailable due to a system error.

Try reloading the page, or if the problem persists, contact support.

GitHub status