Update several mailing addresses #131
ci.yaml
on: pull_request
Rendered 'docs/' is up to date
30s
Rendered CI pipeline is up to date
30s
dhall-format
17s
dhall-lint
15s
Prettier formatting
15s
shellcheck
16s
shfmt
14s
Annotations
7 warnings
shfmt
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Prettier formatting
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
dhall-lint
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
shellcheck
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
dhall-format
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Rendered 'docs/' is up to date
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Rendered CI pipeline is up to date
The following actions uses node12 which is deprecated and will be forced to run on node16: asdf-vm/actions/setup@v1.0.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|