Merge pull request #201 from christianhelle/qodana

Add JetBrains Qodana GitHub workflow

.github/workflows/qodana.yml

@@ -0,0 +1,28 @@
+name: Qodana
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - main
+
+jobs:
+  qodana:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+      checks: write
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}  # to check out the actual pull request commit, not the merge commit
+          fetch-depth: 0  # a full history is required for pull request analysis
+      - name: 'Qodana Scan'
+        uses: JetBrains/qodana-action@v2023.2
+        with:
+            args: --property=qodana.net.solution=Refitter.sln
+            push-fixes: pull-request
+
+        env:
+          QODANA_TOKEN: ${{ secrets.QODANA_TOKEN }}