Merge pull request #15 from dragostis/ci

Enabled CI on PRs.
dragostis · Sep 21, 2024 · c9d74c9 · c9d74c9
2 parents 3518a08 + 0cafe59
commit c9d74c9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,6 +2,7 @@ name: Continuous integration
 
 on:
   push:
+  pull_request:
 
 jobs:
   check: