Testing if test actually tests

dafny-lang · Oct 31, 2023 · dc77a2f · dc77a2f
1 parent ec99494
commit dc77a2f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -6716,7 +6716,7 @@ const os = __nccwpck_require__(2037);
     // For now the zipped releases are simpler because they include Z3.
     await installDotnetTool("dafny-reportgenerator", "1.*");
 
-    core.exportVariable("DAFNY_VERSION", fullVersion);
+    // core.exportVariable("DAFNY_VERSION", fullVersion);
   } catch (error) {
     core.setFailed(error.message);
   }

diff --git a/index.js b/index.js
@@ -28,7 +28,7 @@ const os = require("os");
     // For now the zipped releases are simpler because they include Z3.
     await installDotnetTool("dafny-reportgenerator", "1.*");
 
-    core.exportVariable("DAFNY_VERSION", fullVersion);
+    // core.exportVariable("DAFNY_VERSION", fullVersion);
   } catch (error) {
     core.setFailed(error.message);
   }