Merge branch 'master' into update-mailing-addrs #119
ci.yaml
on: push
Rendered 'docs/' is up to date
20s
Rendered CI pipeline is up to date
27s
dhall-format
14s
dhall-lint
17s
Prettier formatting
18s
shellcheck
17s
shfmt
13s
Annotations
2 errors and 7 warnings