fixes public pull requests CI to actually run

2026-09-30 03:21:28 +02:00 · 2022-12-28 11:49:24 -06:00
parent 49b70b9977
commit 8c368df4e0
1 changed files with 3 additions and 3 deletions
@@ -1,11 +1,11 @@
 name: Build

-on: [push]
+on: 
+  - push
+  - pull_request

 permissions:
  contents: read
-  # Optional: allow read access to pull request. Use with `only-new-issues` option.
-  # pull-requests: read

 jobs:
  test: