diff --git a/.github/workflows/pintos-build.yml b/.github/workflows/pintos-build.yml
index 3bc77b1..e6be020 100644
--- 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: