Fix workflow for gitea #35

Merged
Tirsvad merged 1 commits from mil-004-random-walk-and-spirograph into main 2026-10-07 18:55:16 +02:00
2 changed files with 43 additions and 44 deletions
+43
View File
@@ -0,0 +1,43 @@
# Continuous integration for the Quiz Game.
#
# Run by Gitea Actions. The file lives in .gitea/workflows, not .github/workflows:
# GitHub refuses pushes that touch .github/workflows from a token without the
# workflow scope, and that stopped the push mirror to GitHub. Runs the same
# checks as the README, "Run the tests".
name: CI
on:
push:
pull_request:
permissions:
contents: read
jobs:
checks:
runs-on: ubuntu-latest
steps:
- name: Check out the repository
uses: actions/checkout@v4
- name: Set up Python 3.13
uses: actions/setup-python@v5
with:
python-version: "3.13"
- name: Install the development tools
run: |
python -m pip install --upgrade pip
python -m pip install --group dev
- name: Lint
run: ruff check src tests
- name: Check formatting
run: ruff format --check src tests
- name: Check types
run: mypy --strict src tests
- name: Run the tests
run: python -m pytest
-44
View File
@@ -1,44 +0,0 @@
name: CI
# Read by GitHub Actions and by Gitea Actions. No step opens a turtle window:
# the tests use a recording fake pen.
on:
push:
branches: [main]
pull_request:
jobs:
checks:
runs-on: ubuntu-latest
steps:
- name: Check out the repository
uses: actions/checkout@v4
- name: Set up Python 3.13
uses: actions/setup-python@v5
with:
python-version: "3.13"
- name: Install Doxygen
run: sudo apt-get update && sudo apt-get install --yes doxygen
- name: Install the project and its development tools
run: |
python -m pip install --upgrade pip
python -m pip install -e ".[dev]"
- name: Lint
run: ruff check .
- name: Check formatting
run: ruff format --check .
- name: Check types
run: mypy
- name: Run the tests
run: python -m pytest
- name: Build the source documentation
run: doxygen Doxyfile