Skip to content

chore: update GitHub Actions to avoid deprecation warnings#1900

Merged
tomudding merged 1 commit intoGEWIS:mainfrom tomudding:chore/update-github-actionsSep 11, 2024

Commits

Commits on Sep 11, 2024