Using public runner

runtimeverification · Sep 20, 2023 · d380e78 · d380e78
1 parent 0f742be
commit d380e78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -41,7 +41,7 @@ jobs:
 
   post-performance-tests:
     name: 'Performace Tests'
-    runs-on: [self-hosted, linux, normal]
+    runs-on: ubuntu-latest #[self-hosted, linux, normal]
     continue-on-error: true
     steps:
       - uses: actions/checkout@v3