Add github workflow for all PR branches

systems-cs-pub-ro · Jan 8, 2021 · e20f28e · e20f28e
1 parent 6b9555f
commit e20f28e
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -2,11 +2,7 @@ name: Build-docs
 
 on:
   push:
-    branches:
-      - master
   pull_request:
-    branches:
-      - master
 
 jobs:
   build_job: