Skip to content

Use justfile commands in CI.#695

Merged
tobiasraabe merged 6 commits intomainfrom
improve-type-checking
Jul 27, 2025
Merged

Use justfile commands in CI.#695
tobiasraabe merged 6 commits intomainfrom
improve-type-checking

Commits

Commits on Jul 27, 2025