Bump JetBrains/qodana-action from 2023.3 to 2024.3#1

dependabot[bot] wants to merge 1 commit into

mainAAU-Dat/P10-Curdleproofs:mainfrom

dependabot/github_actions/JetBrains/qodana-action-2024.3AAU-Dat/P10-Curdleproofs:dependabot/github_actions/JetBrains/qodana-action-2024.3Copy head branch name to clipboard