Trigger workflow on pull requests

Trebor-Huang · Mar 5, 2023 · dfe60e7 · dfe60e7 · ice1000 · Mar 5, 2023
1 parent ef65c47
commit dfe60e7
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,14 +1,10 @@
-# This is a basic workflow to help you get started with Actions
-
 name: Build document
 
 # Controls when the workflow will run
 on:
-  # Triggers the workflow on push or pull request events but only for the main branch
   push:
     branches: [ main ]
-
-  # Allows you to run this workflow manually from the Actions tab
+  pull_request:
   workflow_dispatch:
 
 jobs: