Also run Alpine CI on alpine-testing

mit-plv · Dec 25, 2023 · 7cdc6a1 · 7cdc6a1
1 parent 01bb98f
commit 7cdc6a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -2,7 +2,7 @@ name: CI (Coq, Alpine)
 
 on:
   push:
-    branches: [ master ]
+    branches: [ master , alpine-testing ]
   pull_request:
   merge_group:
   workflow_dispatch: