Clean up workflow file

martinescardo · Sep 22, 2024 · 10e5438 · 10e5438
1 parent 1d35b5e
commit 10e5438
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -15,12 +15,12 @@ jobs:
     - name: "Clone repository"
       uses: actions/checkout@v4
 
-    - name: "Print some stuff"
+    - name: "Print environment information"
       shell: bash
       run: |
-        echo "branch = ${{ github.ref_name }}"
-        echo "head_sha = ${{ github.sha }}"
-        echo "head_prec_sha = ${{ github.event.before }}"
+        echo "github.ref_name = ${{ github.ref_name }}"
+        echo "github.sha = ${{ github.sha }}"
+        echo "github.event.before = ${{ github.event.before }}"
 
     - name: "Restore cached .agdai files"
       id: cache-agdai-restore