Skip to content

Commit

Permalink
Run CI workflow on pull_request and push
Browse files Browse the repository at this point in the history
  • Loading branch information
hecrj committed Dec 15, 2023
1 parent 057cac1 commit 525e2e7
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
name: CI

on:
pull_request:
push:
branches: [master]

on: [pull_request, push]
jobs:
fmt:
name: Check formatting
Expand Down

0 comments on commit 525e2e7

Please sign in to comment.