fix: typo

leanprover · Feb 12, 2025 · ded9ad1 · ded9ad1
1 parent 4c1b118
commit ded9ad1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,7 +23,7 @@ jobs:
         # macos-latest is arm64
         # ubuntu-latest is x64
         # ubuntu-latest is x64
-        os: [ubuntu-latest, ubuntu-24.04-arm, ubumacos-latest, macos-13]
+        os: [ubuntu-latest, ubuntu-24.04-arm, macos-latest, macos-13]
 
     runs-on: ${{ matrix.os }}