tree e484572da9d93323da29d27f8c58886e8cfef3a0
parent 4b085b45f83f4722b13820d031dd8269812fe48c
author David Tolnay <dtolnay@gmail.com> 1651286770 -0700
committer Emilio Cobos Álvarez <emilio@crisal.io> 1651963992 +0200

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.