Skip to content

Reduce margin for lobby button in site.css #9643

Reduce margin for lobby button in site.css

Reduce margin for lobby button in site.css #9643

Workflow file for this run

name: Python-CI
on: [pull_request, push]
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ["3.13"]
steps:
- uses: actions/checkout@v6
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v6
with:
python-version: ${{ matrix.python-version }}
- name: Cache pip
uses: actions/cache@v5
with:
path: ~/.cache/pip
key: ${{ runner.os }}-pip-${{ hashFiles('**/pyproject.toml') }}
restore-keys: |
${{ runner.os }}-pip-
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install .[dev]
- name: Lint with ruff
run: |
ruff check server tests
- name: Format check with ruff
run: |
ruff format --check server tests
- name: Typecheck with pyright
run: |
pyright
- name: Run unit tests
run: |
PYTHONPATH=server python -m unittest discover -s tests