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 (#5653)
Update to [actions/checkout@v4](https://github.com/actions/checkout/releases/tag/v4.0.0) According to actions/checkout#1448 it might fix the issue we are encountering. Even if it doesn't, no apparent harm from using the latest version.
- Loading branch information