Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
.github/workflows: Appease the github gods and use "v4"
Apparently, some numbnut at github decided to make the actions versioned. So although we have a perfectly working github pipeline, we need to keep updating it whenever the github powers decide to deprecate a number. So update the "checkout" action from v2, to the diety-approved v4. Signed-off-by: Alexandru Gagniuc <[email protected]>
- Loading branch information