fix: add dev branch trigger

CSPCLAB · Nov 26, 2024 · ecf8c26 · ecf8c26
1 parent 5ede921
commit ecf8c26
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/pintos-build.yml b/.github/workflows/pintos-build.yml
@@ -4,9 +4,11 @@ on:
   push:
     branches:
       - main
+      = dev
   pull_request:
     branches:
       - main
+      - dev
 
 jobs:
   build: