Update runners to ubuntu-20.04, as ubuntu-18.04 is deprecated #118
ci.yaml
on: push
Rendered 'docs/' is up to date
25s
Rendered CI pipeline is up to date
26s
dhall-format
17s
dhall-lint
17s
Prettier formatting
25s
shellcheck
26s
shfmt
17s
Annotations
2 errors and 7 warnings