fixed https://git.miaurizius.de/MiauRizius/MiauInv/issues/10 #11

Merged

MiauRizius merged 1 commits from chore/10-workflow-optimization into main

2026-06-10 02:00:22 +02:00

Author	SHA1	Message	Date
miaurizius	36ff377ac9	fixed #10 Some checks failed test-and-lint / test-and-lint (pull_request) Failing after 1m33s Details	2026-06-10 01:57:29 +02:00