CI settings seem outdated #21
Description
I did not propose moving the GitHub actions from v3 to v4 since the settings look anyway less elaborate than in the other satellites.
{{ message }}
I did not propose moving the GitHub actions from v3 to v4 since the settings look anyway less elaborate than in the other satellites.