Merge pull request #48 from PalladioSimulator/rapp-fzi-patch-1

temp. switched to github runner
PalladioSimulator · Nov 30, 2024 · 1e68733 · 1e68733
2 parents 63a4945 + 5f8f270
commit 1e68733
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -6,6 +6,7 @@ jobs:
   Palladio-Core-Commons:
     uses: PalladioSimulator/Palladio-Build-ActionsPipeline/.github/workflows/[email protected]
     with:
+      runner-label: ubuntu-latest
       use-display-output: true
       no-caching: true
       deploy-updatesite: 'releng/org.palladiosimulator.core-commons.updatesite/target/repository'