Print out tool version info in CI (#88)

* Print out tool version info in CI * Fix cl version info printout on windows * Remove cl version check on windows [Build] Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Aug 18, 2023 · a12a08e · a12a08e
1 parent 087b314
commit a12a08e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -41,7 +41,10 @@ jobs:
       - name: Download TLA⁺ dependencies
         if: matrix.os == 'windows-latest'
         run: |
+          # Print out tool version information
           java --version
+          python --version
+          pip --version
           # Install python packages
           pip install -r $SCRIPT_DIR/requirements.txt
           # Put all dependencies in their own directory to ensure they aren't included implicitly
@@ -67,6 +70,12 @@ jobs:
       - name: Download TLA⁺ dependencies
         if: matrix.os != 'windows-latest'
         run: |
+          # Print out tool version information
+          java --version
+          python --version
+          pip --version
+          cc --version
+          cpp --version
           # Install python packages
           pip install -r $SCRIPT_DIR/requirements.txt
           # Put all dependencies in their own directory to ensure they aren't included implicitly