Merge branch 'master' into update-mailing-addrs #130
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yaml
on: push
Rendered 'docs/' is up to date
32s
Rendered CI pipeline is up to date
34s
dhall-format
17s
dhall-lint
15s
Prettier formatting
17s
shellcheck
22s
shfmt
16s
Annotations
7 warnings