File tree Expand file tree Collapse file tree 1 file changed +1
-11
lines changed Expand file tree Collapse file tree 1 file changed +1
-11
lines changed Original file line number Diff line number Diff line change 26
26
- uses : actions/checkout@v4
27
27
with : { fetch-depth: 1 }
28
28
29
- # For normal PR jobs, just checkout the base_ref the PR is against
30
- - uses : actions/checkout@v4
31
- with :
32
- ref : ${{ github.base_ref }}
33
- if : ${{ !(github.event_name == 'push' && github.repository != 'com-lihaoyi/mill') }}
34
-
35
- # For fork push jobs, first checkout the version being pushed, then look for the
36
- # merge-base where the current version forks off from the upstream main branch
37
- - uses : actions/checkout@v4
38
- with : { fetch-depth: 0 }
39
-
40
29
- run : |
41
30
git fetch https://github.com/com-lihaoyi/mill main
42
31
MERGE_BASE=$(git merge-base FETCH_HEAD HEAD)
45
34
46
35
git checkout $MERGE_BASE
47
36
shell: bash
37
+ if: ${{ github.event_name == 'push' && github.repository != 'com-lihaoyi/mill' }}
48
38
49
39
- run : echo temurin:${{ inputs.java-version }} > .mill-jvm-version
50
40
You can’t perform that action at this time.
0 commit comments