fix

microsoft · Mar 1, 2024 · 1757eb7 · 1757eb7
1 parent 73bd10c
commit 1757eb7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Scripts/run-tests.ps1 b/Scripts/run-tests.ps1
@@ -34,6 +34,7 @@ $runtime_version = FindDotNetRuntimeVersion -dotnet_runtime_path $dotnet_runtime
 
 # Restore the local ilverify tool.
 &dotnet tool restore
+&dotnet tool list
 $ilverify = "dotnet ilverify"
 
 [System.Environment]::SetEnvironmentVariable('COYOTE_CLI_TELEMETRY_OPTOUT', '1')