Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update to actions/checkout@v4. (#47)
This fixes CI warnings about Node.js 16 being deprecated.
- Loading branch information