Skip to content

Make 'Play' menu's height constant #30

Make 'Play' menu's height constant

Make 'Play' menu's height constant #30

Workflow file for this run

name: Static checks
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
static-checks:
name: 'Static checks'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
with:
python-version: 3.x
- run: python -m pip install gdtoolkit
- run: gdformat --check source/
- run: gdlint source/