Skip to content

Commit

Permalink
Re-enable CI for Pull Requests
Browse files Browse the repository at this point in the history
This got removed in b9736ba, but having CI for
PRs is probably useful.
  • Loading branch information
TimWolla committed May 8, 2024
1 parent df1e7fd commit 6c9a4cd
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name: CI

on: [push]
on: [push, pull_request]

jobs:
moderate-modern:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/psalm.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name: Psalm

on: [push]
on: [push, pull_request]

jobs:
psalm:
Expand Down

0 comments on commit 6c9a4cd

Please sign in to comment.