chore: update header comments in script files to indicate AI generation

2026-05-04 13:54:19 +02:00 · 2026-04-22 20:12:09 +02:00
parent 409c9e5bfa
commit 3f1aa80756
4 changed files with 17 additions and 3 deletions
@@ -1,4 +1,9 @@
 #!/usr/bin/env bash
+
+##########################
+### AI-generated file. ###
+##########################
+
 set -euo pipefail

 mkdir -p benchmark-results