Merge pull request 'Move CI workflow from .github to .gitea' (#22) from ci-gitea-workflow into main

Reviewed-on: Tirsvad-Udemy-100_days_of_code/016-oop_coffee_machine#22

.gitea/workflows/ci.yml

@@ -1,4 +1,4 @@
-# Runs on GitHub Actions and on Gitea Actions (Gitea also reads .github/workflows).
+# Runs on Gitea Actions (Gitea reads .gitea/workflows).
 name: CI
 
 on:

README.md

@@ -121,10 +121,11 @@ mypy
 
 ## Continuous integration
 
-The workflow in `.github/workflows/ci.yml` runs on every push and pull request. It
+The workflow in `.gitea/workflows/ci.yml` runs on Gitea Actions on every push and
-runs on GitHub Actions and on Gitea Actions. It creates a virtual environment on
+pull request. It creates a virtual environment on Python 3.13, upgrades `pip`,
-Python 3.13, upgrades `pip`, installs the project with the `dev` extra and runs
+installs the project with the `dev` extra and runs `ruff check .`, `mypy` and
-`ruff check .`, `mypy` and `python -m pytest`.
+`python -m pytest`. GitHub does not read the `.gitea` folder, so a GitHub mirror
+does not run it.
 
 ## Build the source documentation
 
@@ -154,7 +155,7 @@ browser. The output folder is ignored by git.
 ├── docs/                 Project documents (business case, plan, milestones, reviews)
 ├── Doxyfile              Doxygen configuration
 ├── pyproject.toml        Project configuration
-└── .github/workflows/    Continuous integration
+└── .gitea/workflows/     Continuous integration
 ```
 
 ## License