Also enable CI for pull requests

shindere · shindere · commit 123c070e5e7a · 2025-02-18T15:34:02.000+01:00
Before this commit, the CI was run only when a push to the main repository
occurred. With this commit CI is also run on pull requests.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,5 @@
 name: ci
-on: [push]
+on: [push, pull_request]
 jobs:
   build-ubuntu:
     strategy:
