Skip to content

Commit

Permalink
ci: Also run CI after PR is merged into main (#67)
Browse files Browse the repository at this point in the history
ci: Also run CI on push to `main`
  • Loading branch information
fischeti authored Sep 14, 2024
1 parent cf5d3fc commit 237a571
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 3 deletions.
5 changes: 4 additions & 1 deletion .github/workflows/floogen.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,10 @@

name: floogen

on: [pull_request]
on:
pull_request:
branches:
- main

jobs:

Expand Down
5 changes: 4 additions & 1 deletion .github/workflows/gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,10 @@

name: gitlab-ci

on: [pull_request]
on:
pull_request:
branches:
- main

jobs:
check:
Expand Down
5 changes: 4 additions & 1 deletion .github/workflows/lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,10 @@

name: lint

on: [pull_request]
on:
pull_request:
branches:
- main

jobs:

Expand Down

0 comments on commit 237a571

Please sign in to comment.