Skip to content

Fix case-insensitive world name handling #705

Fix case-insensitive world name handling

Fix case-insensitive world name handling #705

Workflow file for this run

name: 'PR: Checkstyle'
on:
pull_request:
types: [opened, synchronize]
jobs:
checkstyle:
uses: ./.github/workflows/generic.checkstyle.yml