Skip to content

fix merge-base compilation when running directly on main#11117

Merged
erik-krogh merged 2 commits intogithub:mainfrom
erik-krogh:stableCI-followup
Nov 4, 2022
Merged

fix merge-base compilation when running directly on main#11117
erik-krogh merged 2 commits intogithub:mainfrom
erik-krogh:stableCI-followup

Conversation

@erik-krogh
Copy link
Copy Markdown
Contributor

No description provided.

@erik-krogh erik-krogh marked this pull request as ready for review November 4, 2022 11:12
@erik-krogh erik-krogh requested a review from a team as a code owner November 4, 2022 11:12
@erik-krogh erik-krogh requested a review from aibaars November 4, 2022 11:12
@erik-krogh
Copy link
Copy Markdown
Contributor Author

@aibaars you reviewed the previous PR, so I thought it would be natural if you took this one.

The workflow crashes when running on main: https://github.com/github/codeql/actions/runs/3393142619/jobs/5640140768
I think I've fixed that now.
It's not that critical, because the workflow still works fine on PRs.

aibaars
aibaars previously approved these changes Nov 4, 2022
Copy link
Copy Markdown
Contributor

@aibaars aibaars left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. One minor comment.

Comment thread .github/workflows/compile-queries.yml Outdated
echo "merge-base=$MERGE_BASE" >> $GITHUB_ENV
- name: Calculate merge-base - main
if: ${{ github.event_name != 'pull_request' }}
# using github.sha instead, since we're on main
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We may also be on an rc branch. It shouldn't matter too much, but perhaps update the name and comment.

Comment thread .github/workflows/compile-queries.yml Outdated
@erik-krogh erik-krogh merged commit 265838a into github:main Nov 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants