document setup for Monad Lib #2304
pr.yml
on: pull_request
Gitlint
37s
Trailing Whitespace
28s
Portable Shell
31s
Style
46s
Theory Linter
34s