update several mailing addresses (#32) #132
efjepsenci.yaml
on: push
Rendered 'docs/' is up to date
23s
Rendered CI pipeline is up to date
18s
dhall-format
17s
dhall-lint
16s
Prettier formatting
23s
shellcheck
15s
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/
|
|
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-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/
|
|
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 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/
|
|
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/
|
|
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/
|