Closed stegayet closed 5 months ago
This PR upgrades GitHub actions to resolve some warnings, for instance in this run.
Thank you, this is fine.
Description
This PR upgrades GitHub actions to resolve some warnings, for instance in this run.