Merge branch 'master' into typed-verification

alexandrainst · May 29, 2024 · 49e6d79 · 49e6d79
2 parents fd514d2 + 2145b6d
commit 49e6d79
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,7 +6,7 @@ on:
 jobs:
   test:
     name: cargo test
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     steps:
       - name: Install C compiler
         run: sudo apt-get update && sudo apt-get install -y build-essential
@@ -17,7 +17,7 @@ jobs:
   # Check formatting with rustfmt
   formatting:
     name: cargo fmt
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       # Ensure rustfmt is installed and setup problem matcher

diff --git a/.github/workflows/pyo3.yml b/.github/workflows/pyo3.yml
@@ -12,7 +12,7 @@ permissions:
 
 jobs:
   linux:
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         target: [x86_64, aarch64, armv7l]
@@ -41,7 +41,7 @@ jobs:
           path: pycare/dist
 
   windows:
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
       - uses: actions-rust-lang/setup-rust-toolchain@v1
@@ -67,7 +67,7 @@ jobs:
           path: pycare/dist
 
   macos:
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         target: [x86_64-apple-darwin, aarch64-apple-darwin]