Merge branch 'master' into update-mailing-addrs #126
ci.yaml
on: push
Rendered 'docs/' is up to date
38s
Rendered CI pipeline is up to date
23s
dhall-format
25s
dhall-lint
16s
Prettier formatting
26s
shellcheck
16s
shfmt
16s
Annotations
1 error and 7 warnings