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
..
ISSUE_TEMPLATE	adding spell checking	2022-04-15 14:18:09 -07:00
workflows	Update GitHub Actions actions/checkout@v2 to v3	2022-04-29 19:32:24 -07:00
deploy.sh	Merge commit 'e18101137866b79045fee0ef996e696e68c920b4' into clippyup	2021-11-04 12:52:36 +00:00
driver.sh	Merge commit 'b20d4c155d2fe3a8391f86dcf9a8c49e17188703' into clippyup	2020-11-05 14:29:48 +01:00
PULL_REQUEST_TEMPLATE.md	Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyup	2021-04-22 11:31:13 +02:00