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