...

2025-08-15 08:52:46 +02:00
parent 71298a9704
commit 43ffedfad8
36 changed files with 517 additions and 550 deletions
--- a/lib/core/playcmds/factory.v
+++ b/lib/core/playcmds/factory.v
@@ -53,9 +53,8 @@ pub fn run(args_ PlayArgs) ! {

 	giteaclient.play(mut plbook)!

-	if args.emptycheck{
+	if args.emptycheck {
 		// Ensure we did not leave any actions un‑processed
 		plbook.empty_check()!
 	}
-
 }