Skip to content

Introduced distinction between hiding and disabling gui. #12

Introduced distinction between hiding and disabling gui.

Introduced distinction between hiding and disabling gui. #12

Workflow file for this run

name: Ruff
on:
push:
branches: [ "dev" ]
pull_request:
branches: [ "dev", "main" ]
jobs:
ruff:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: chartboost/ruff-action@v1