From 4422871c51fea4b653ab42978f63b839fa71104e Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Fri, 22 Dec 2023 11:59:21 +0100 Subject: [PATCH] adjust Nix CI boilerplate --- .github/workflows/nix-action.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml index 1856f11..8b54973 100644 --- a/.github/workflows/nix-action.yml +++ b/.github/workflows/nix-action.yml @@ -5,7 +5,7 @@ name: Nix CI on: push: branches: - - master + - v8.19 pull_request: paths: - .github/workflows/** @@ -17,7 +17,7 @@ jobs: strategy: matrix: overrides: - - 'coq = "master"' + - 'coq = "8.19"' fail-fast: false steps: - name: Determine which commit to test