Closed deining closed 1 year ago
This PR bumps actions in GitHub workflow files to their latest versions, thus avoiding deprecation warnings. It also fixes several typos I spotted in project files.
Thank you!
This PR bumps actions in GitHub workflow files to their latest versions, thus avoiding deprecation warnings. It also fixes several typos I spotted in project files.