dev #13

Merged
JoeKung merged 23 commits from dev into main 2026-03-03 18:28:30 +01:00
Showing only changes of commit 3ea8c1b2ad - Show all commits

View File

@@ -77,18 +77,13 @@ jobs:
with: with:
fetch-depth: 0 fetch-depth: 0
- name: Prepare Qodana directories
shell: bash
run: |
mkdir -p .qodana/caches .qodana/results
- name: Qodana Scan - name: Qodana Scan
uses: JetBrains/qodana-action@v2025.3 uses: JetBrains/qodana-action@v2025.3
env: env:
QODANA_TOKEN: ${{ secrets.QODANA_TOKEN }} QODANA_TOKEN: ${{ secrets.QODANA_TOKEN }}
with: with:
cache-dir: .qodana/caches cache-dir: /tmp
results-dir: .qodana/results results-dir: /tmp
args: -i,backend args: -i,backend
pr-mode: true pr-mode: true
use-caches: false use-caches: false