Closed olleolleolle closed 2 years ago
This PR updates the CI configuration, to use the latest GitHub Action for "checkouts".
Description
This PR updates the CI configuration, to use the latest GitHub Action for "checkouts".