Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

QL/RB: delete language specific codeql query compile checks #11328

Merged
merged 2 commits into from
Nov 21, 2022

Conversation

erik-krogh
Copy link
Contributor

@erik-krogh erik-krogh commented Nov 18, 2022

We now have a combined workflow that does the same thing for all languages in one go, and which does it faster (thanks to caching).

ATM still have their specific compilation check as their queries aren't covered by the combined workflow.
ATM queries have compilation warnings by design, so the combined workflow cannot work for their queries.

@erik-krogh erik-krogh marked this pull request as ready for review November 18, 2022 13:43
@erik-krogh erik-krogh requested review from a team as code owners November 18, 2022 13:43
tausbn
tausbn previously approved these changes Nov 18, 2022
Copy link
Contributor

@tausbn tausbn left a comment

Choose a reason for hiding this comment

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

Nice!

@@ -33,11 +33,6 @@ jobs:
steps:
- uses: actions/checkout@v3
- uses: ./.github/actions/fetch-codeql
- name: Check QL compilation
Copy link
Contributor

@aibaars aibaars Nov 18, 2022

Choose a reason for hiding this comment

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

Let's delete the entire qlcompile job.

qlcompile:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: ./.github/actions/fetch-codeql
- name: Check QL compilation
run: |
codeql query compile --check-only --threads=0 --ram 5000 --warnings=error "ql/src" "ql/examples"
env:
GITHUB_TOKEN: ${{ github.token }}

@erik-krogh erik-krogh merged commit b6dd388 into github:main Nov 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants