Merge branch 'main' into tactician

coq-tactician · Apr 11, 2024 · 4dd681c · 4dd681c
2 parents d278742 + 98f9f0b
commit 4dd681c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -15,6 +15,7 @@ on:
       - 2021.02
       - 2021.09
       - main
+      - tactician
   pull_request:
     branches:
       - '**'

diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -15,6 +15,7 @@ on:
       - 2021.02
       - 2021.09
       - main
+      - tactician
   pull_request:
     branches:
       - '**'

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -13,6 +13,7 @@ on:
   push:
     branches:
       - main
+      - tactician
   pull_request:
     branches:
       - '**'