Add debug logging.

o1-labs · Aug 29, 2024 · 14dc1cf · 14dc1cf
1 parent e5d4e08
commit 14dc1cf
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 4 deletions.
diff --git a/.github/workflows/ci-nightly.yml b/.github/workflows/ci-nightly.yml
@@ -32,7 +32,7 @@ jobs:
         ocaml_version: ["4.14"]
         os: ["hetzner-1"]
     steps:
-      - name: Checkout PR
+      - name: Checkout repository
         uses: actions/checkout@v4.1.1
 
       - name: Use shared Rust toolchain setting up steps

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
       matrix:
         rust_toolchain_version: ["1.72"]
     steps:
-      - name: Checkout PR
+      - name: Checkout repository
         uses: actions/checkout@v4.1.1
 
       - name: Use shared Rust toolchain setting up steps
@@ -42,7 +42,7 @@ jobs:
       matrix:
         rust_toolchain_version: ["nightly"]
     steps:
-      - name: Checkout PR
+      - name: Checkout repository
         uses: actions/checkout@v4.1.1
 
       - name: Use shared Rust toolchain setting up steps
@@ -68,7 +68,7 @@ jobs:
         ocaml_version: ["4.14"]
         os: ["ubuntu-latest"]
     steps:
-      - name: Checkout PR
+      - name: Checkout repo
         uses: actions/checkout@v4.1.1
 
       - name: Use shared Rust toolchain setting up steps
@@ -86,6 +86,19 @@ jobs:
           # FIXME: 0.39.0 makes the CI fail
           npm install -g markdownlint-cli@0.38.0
 
+      # TODO: Remove debug logging
+      - name: Echo tollchain version and environment
+        run: |
+          echo rustc --version
+          echo ""
+          echo $GITHUB_PATH
+          echo ""
+          echo $PATH
+          echo ""
+          echo $CARGO_HOME
+          echo ""
+          env
+
       #
       # Doc & Spec
       #