We might consider creating a GitHub workflow for CI, that executes regression tests, which apparently are already present (using the unittest module).