document setup for Monad Lib #2305
pr.yml
on: pull_request
Gitlint
39s
Trailing Whitespace
30s
Portable Shell
35s
Style
42s
Theory Linter
40s