Misc qodana improvements

This commit is contained in:
Łukasz Domeradzki 2024-04-24 15:22:38 +02:00
parent f1631b7f06
commit 3240fca63e
No known key found for this signature in database
GPG key ID: 6B138B4C64555AEA
2 changed files with 5 additions and 12 deletions

View file

View file

@ -1,6 +1,7 @@
name: ASF-code-quality name: ASF-code-quality
on: [push, pull_request] on:
- push
env: env:
DOTNET_CLI_TELEMETRY_OPTOUT: true DOTNET_CLI_TELEMETRY_OPTOUT: true
@ -14,28 +15,20 @@ permissions:
jobs: jobs:
main: main:
if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name == github.repository
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Checkout code - name: Checkout code
if: github.event_name != 'pull_request'
uses: actions/checkout@v4.1.3 uses: actions/checkout@v4.1.3
with: with:
show-progress: false show-progress: false
- name: Checkout code (for PR)
if: github.event_name == 'pull_request'
uses: actions/checkout@v4.1.3
with:
fetch-depth: 100 # History is required for pull request analysis
ref: ${{ github.event.pull_request.head.sha }} # To check out the actual pull request commit, not the merge commit
show-progress: false
- name: Run Qodana scan - name: Run Qodana scan
uses: JetBrains/qodana-action@v2024.1.1 uses: JetBrains/qodana-action@v2024.1.1
with: with:
args: --property=idea.headless.enable.statistics=false args: --config,.github/qodana.yaml,--property=idea.headless.enable.statistics=false
pr-mode: false
upload-result: true
env: env:
QODANA_TOKEN: ${{ secrets.QODANA_TOKEN }} QODANA_TOKEN: ${{ secrets.QODANA_TOKEN }}