fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! Adjust…

… CI configuration for new runner
uni-bremen-agst · Jan 9, 2025 · b77a6df · b77a6df
1 parent d360bb3
commit b77a6df
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -26,7 +26,7 @@ jobs:
     name: Setup Repository
     # The following condition filters out pull requests that are closed, but not merged.
     if: ${{ github.event_name != 'pull_request' || github.event.pull_request.state != 'closed' || github.event.pull_request.merged }}
-    runs-on: [self-hosted, see-ci-sts]
+    runs-on: [self-hosted, sts5]
     outputs:
       runner: ${{ steps.remember.outputs.runner }}
     steps:
@@ -40,7 +40,7 @@ jobs:
         run: echo "runner=${{ runner.name }}" >> $GITHUB_OUTPUT
   gitscripts:
     name: Run GitScript checks
-    runs-on: ubuntu-latest
+    runs-on: [self-hosted, sts5]
     if: ${{ github.event_name != 'workflow_dispatch' }}
     steps:
       # FIXME: Change pointer.