activate Nix CI

coq-community · Sep 16, 2022 · 26e4196 · 26e4196
1 parent de00018
commit 26e4196
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
@@ -5,7 +5,7 @@ name: Nix CI
 on:
   push:
     branches:
-      - master
+      - v8.16
   pull_request:
     paths:
     - .github/workflows/**
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         overrides:
-          - 'coq = "master"'
+          - 'coq = "8.16"'
       fail-fast: false
     steps:
       - name: Determine which commit to test