diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index abe2399a..80eae538 100644
--- 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