Improve handling of secrets in GitHub actions

[simu]

Checklist

• [x] Keep pull requests small so they can be easily reviewed.
• [ ] Update the documentation.
• [ ] Update tests.
• [x] Categorize the PR by setting a good title and adding one of the labels: bug, enhancement, documentation, change, breaking, dependency, internal as they show up in the changelog