ci.yml: adding a job for branch protection

FStarLang · Jan 8, 2025 · f736939 · f736939
1 parent 39f0ac7
commit f736939
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -22,3 +22,10 @@ jobs:
   nix-build:
     name: nix
     uses: ./.github/workflows/nix.yml
+
+  # Branch protection points here
+  ciok:
+    runs-on: ubuntu-latest
+    needs: [build, tests, nix-build]
+    steps:
+      - run: exit 0