David Tolnay 8ef4b8d248

Update GitHub Actions actions/checkout@v2 to v3 ...

The v2 implementation uses Node 12, which is end-of-life on April 30, 2022.
See https://nodejs.org/en/about/releases/. Update to v3, which is based on
Node 16 whose support lasts until April 30, 2024.

2022-04-29 19:32:24 -07:00

..

clippy_bors.yml

Update GitHub Actions actions/checkout@v2 to v3

2022-04-29 19:32:24 -07:00

clippy_dev.yml

Update GitHub Actions actions/checkout@v2 to v3

2022-04-29 19:32:24 -07:00

clippy.yml

Update GitHub Actions actions/checkout@v2 to v3

2022-04-29 19:32:24 -07:00

deploy.yml

Update GitHub Actions actions/checkout@v2 to v3

2022-04-29 19:32:24 -07:00

remark.yml

Update GitHub Actions actions/checkout@v2 to v3

2022-04-29 19:32:24 -07:00