diff --git a/lib/maude/scoreboard.json b/lib/maude/scoreboard.json
index ddd89465..65d16819 100644
--- a/lib/maude/scoreboard.json
+++ b/lib/maude/scoreboard.json
@@ -18,5 +18,5 @@
     {"name":"pretty","passed":11,"failed":0,"total":11},
     {"name":"run","passed":10,"failed":0,"total":10}
   ],
-  "generated": "2026-06-07T15:49:17+00:00"
+  "generated": "2026-06-07T15:51:45+00:00"
 }