Fix flaky test: auto-generated IDs colliding with hardcoded vahter IDs (#112)

The shared ID counter in TgMessageUtils started at 1, so auto-generated
user IDs could reach 34 or 69 (the hardcoded vahter IDs). When this
happened, isBanAuthorized silently rejected the ban (can't ban a vahter),
causing "Vahter can unban user" to fail intermittently depending on test
collection execution order.

Fix:
- Bump counter start to 100000 to avoid all hardcoded IDs
- Add /unbanChatMember to FakeTgApi (was returning 500)
- Add verbose console logger to CI so test execution order is visible

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: Szer

.github/workflows/build.yml

@@ -19,7 +19,7 @@ jobs:
       with:
         global-json-file: global.json
     - name: Tests
-      run: dotnet test -c Release --logger "trx;LogFileName=test-results.trx"
+      run: dotnet test -c Release --logger "trx;LogFileName=test-results.trx" --logger "console;verbosity=detailed"
 
     # upload test results
     - name: Upload dotnet test results

src/VahterBanBot.Tests/TgMessageUtils.fs

@@ -6,7 +6,14 @@ open Telegram.Bot.Types
 open Telegram.Bot.Types.Enums
 
 type Tg() =
-    static let mutable i = 1L // higher than the data in the test_seed.sql
+    // Start well above all hardcoded IDs used in tests and config to prevent
+    // auto-generated user/message/chat IDs from colliding with them:
+    //   Vahter IDs: 34, 69 (ALLOWED_USERS) — collision makes isBanAuthorized reject bans silently
+    //   FakeTgApi admin: 42 (/getChatAdministrators)
+    //   Bot user ID: 1337 (BOT_USER_ID)
+    //   Seed user IDs: 1001-1010 (test_seed.sql)
+    //   Seed message IDs: 10001-10499 (test_seed.sql)
+    static let mutable i = 100_000L
     static let nextInt64() = Interlocked.Increment &i
     static let next() = nextInt64() |> int
     static member user (?id: int64, ?username: string, ?firstName: string) =

src/VahterBanBot/FakeTgApi.fs

@@ -51,7 +51,7 @@ let fakeTgApi (botConf: BotConfiguration) (request: HttpRequestMessage) =
             resp.Content <- new ByteArrayContent(content)
             resp.Content.Headers.ContentType <- MediaTypeHeaderValue("application/octet-stream")
             resp
-        elif url.EndsWith "/deleteMessage" || url.EndsWith "/banChatMember" then
+        elif url.EndsWith "/deleteMessage" || url.EndsWith "/banChatMember" || url.EndsWith "/unbanChatMember" then
             // respond with "true"
            apiResult "true"
         elif url.EndsWith "/sendMessage" then