CATROID-1628 Optimize GitHub Actions workflows#5136
Open
Kale2605 wants to merge 1 commit intoCatrobat:developfrom
Open
CATROID-1628 Optimize GitHub Actions workflows#5136Kale2605 wants to merge 1 commit intoCatrobat:developfrom
Kale2605 wants to merge 1 commit intoCatrobat:developfrom
