Closed deining closed 9 months ago
This PR fixes a few typos I spotted in the project. It also bumps GitHub action workflow checkout to latest version, thus avoiding deprecation warnings.
checkout
Merged. Thanks, @deining !
This PR fixes a few typos I spotted in the project. It also bumps GitHub action workflow
checkout
to latest version, thus avoiding deprecation warnings.