Skip to content

Merge pull request #735 from XMOJ-Script-dev/nameupdate20241002 #27

Merge pull request #735 from XMOJ-Script-dev/nameupdate20241002

Merge pull request #735 from XMOJ-Script-dev/nameupdate20241002 #27

Workflow file for this run

name: Qodana
on:
workflow_dispatch:
pull_request:
push:
branches:
- master
- dev
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@v2024.1
env:
QODANA_TOKEN: ${{ secrets.QODANA_TOKEN }}