From 4dc3b99541519cd17da274fd44530aa909c8dabe Mon Sep 17 00:00:00 2001
From: Tomas Grosup <Tomas.Grosup@gmail.com>
Date: Thu, 31 Jul 2025 12:31:16 +0200
Subject: [PATCH] Update commands.yml - `|| true` added

---
 .github/workflows/commands.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/commands.yml b/.github/workflows/commands.yml
index c6a96649402..1e5b7e121e5 100644
--- a/.github/workflows/commands.yml
+++ b/.github/workflows/commands.yml
@@ -68,7 +68,7 @@ jobs:
           case "${{ needs.parsing_job.outputs.command }}" in
             "/run fantomas") dotnet fantomas . ;;
             "/run xlf") dotnet build src/Compiler /t:UpdateXlf ;;
-            "/run ilverify") pwsh tests/ILVerify/ilverify.ps1 ;;
+            "/run ilverify") pwsh tests/ILVerify/ilverify.ps1 || true ;;
             "/run test-baseline") dotnet test ./FSharp.Compiler.Service.sln --filter "${{ needs.parsing_job.outputs.arg }}" -c Release || true ;;
             *) echo "Unknown command" && exit 1 ;;
           esac