Revert "Remove grdb_linux_changes branch from ubunti-ci.yml"

groue · groue · commit 7b2b8a0198ba · 2026-02-01T11:06:38.000+01:00
This reverts commit 4dbd83b. We need to check the linux CI before merging.
diff --git a/.github/workflows/ubuntu-ci.yml b/.github/workflows/ubuntu-ci.yml
@@ -7,6 +7,7 @@ on:
     branches: 
       - master
       - development
+      - grdb_linux_changes
     paths:
       - 'GRDB/**'
       - 'Tests/**'
