Skip to content

ci: fix some github actions warnings#1

Closed
thomas-riccardi wants to merge 4 commits intomasterfrom cleanup-actions-ci