Fix/issue 87 #89
Owner
No description provided.
lars
added 2 commits 2026-08-28 11:32:29 +02:00
CI / Sync project version with tag (push) Has been skipped
Details
CI / Lint (ruff check) (push) Successful in 1m45s
Details
CI / Format (ruff format) (push) Successful in 3m0s
Details
CI / Type check (ty) (push) Successful in 3m16s
Details
CI / Tests (push) Successful in 3m30s
Details
CI / Bump version, tag, and update changelog on merge to master (push) Has been skipped
Details
CI / Sync project version with tag (push) Has been skipped
Details
CI / Lint (ruff check) (push) Successful in 1m36s
Details
CI / Format (ruff format) (push) Successful in 1m41s
Details
CI / Sync project version with tag (pull_request) Has been skipped
Details
CI / Type check (ty) (push) Successful in 2m17s
Details
CI / Lint (ruff check) (pull_request) Successful in 1m19s
Details
CI / Format (ruff format) (pull_request) Successful in 2m15s
Details
CI / Type check (ty) (pull_request) Successful in 4m13s
Details
CI / Tests (pull_request) Successful in 7m18s
Details
CI / Bump version, tag, and update changelog on merge to master (pull_request) Has been skipped
Details
CI / Tests (push) Successful in 11m5s
Details
CI / Bump version, tag, and update changelog on merge to master (push) Has been skipped
Details
Reference in New Issue
Block a user
Delete Branch "fix/issue-87"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?