next → main: report the version from git
check / check (push) Successful in 59s
merge-ready
#9
opened 2026-10-02 11:02:47 +02:00 by clawbot
#4
opened 2026-08-07 19:11:14 +02:00 by clawbot
1 conflicting file