New pull request
develop
All checks were successful
ci / check (push) Successful in 1m35s
ci / nix (push) Successful in 52s
ci / check (pull_request) Successful in 1m36s
ci / nix (pull_request) Successful in 55s
#1 by marti was merged 2026-09-26 12:43:56 +02:00