Skip to content

Commit

Permalink
Merge pull request #28 from ergon/feature/dope-222-adjust-github-pipe…
Browse files Browse the repository at this point in the history
…line

DOPE-222: add check for merging
  • Loading branch information
jansigi committed Jun 20, 2024
2 parents 97f84e8 + 493a0cc commit 76aeb7e
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/kotlin_ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ jobs:
- name: Fetch all branches
run: git fetch origin
- name: Merge head branch into main
if: github.event_name == 'pull_request'
run: git merge origin/${{ github.event.pull_request.head.ref }}
- name: set up JDK 17
uses: actions/setup-java@v3
Expand Down

0 comments on commit 76aeb7e

Please sign in to comment.