Run CI tests on release branches as well (#2444)

* Run tests on release branches as well * Fix naming convention
agda · Aug 20, 2024 · cb9854d · cb9854d
1 parent 0da5ba7
commit cb9854d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -4,6 +4,7 @@ on:
     branches:
       - master
       - experimental
+      - 'v*-release'
   pull_request:
     branches:
       - master