Skip to content

Provide ormolu via direnv, run make formatc in github actions#1908

Merged
flokli merged 7 commits intodevelopfrom
ormolu-gh-actions
Nov 4, 2021
Merged

Provide ormolu via direnv, run make formatc in github actions#1908
flokli merged 7 commits intodevelopfrom
ormolu-gh-actions

Commits

Commits on Nov 4, 2021