Open deining opened 8 months ago
This PR bumps workflow actions to their latest versions, thus avoiding deprecation warnings. It also fixes a few typos on the way.
This PR bumps workflow actions to their latest versions, thus avoiding deprecation warnings. It also fixes a few typos on the way.