Skip to content

chore: update dependencies#2110

Merged
tomudding merged 4 commits into
GEWIS:mainfrom
tomudding:chore/update-dependencies
Jul 9, 2026
Merged

chore: update dependencies#2110
tomudding merged 4 commits into
GEWIS:mainfrom
tomudding:chore/update-dependencies

chore(actions): update pinned GitHub Actions

4cf7f4b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view