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