Use cargo -V instead of cargo update to install the toolchain

This is still a hack. There should be a way to install the toolchain
file with `rustup` somehow.

Author: flip1995

.github/workflows/clippy.yml

@@ -38,8 +38,9 @@ jobs:
     - name: Checkout
       uses: actions/[email protected]
 
-    - name: Run cargo update
-      run: cargo update
+    # HACK(flip1995): This is here to install the correct toolchain
+    - name: Print cargo version
+      run: cargo -V
 
     # Run
     - name: Set LD_LIBRARY_PATH (Linux)

.github/workflows/clippy_bors.yml

@@ -88,8 +88,9 @@ jobs:
     - name: Checkout
       uses: actions/[email protected]
 
-    - name: Run cargo update
-      run: cargo update
+    # HACK(flip1995): This is here to install the correct toolchain
+    - name: Print cargo version
+      run: cargo -V
 
     # Run
     - name: Set LD_LIBRARY_PATH (Linux)
@@ -149,8 +150,9 @@ jobs:
     - name: Checkout
       uses: actions/[email protected]
 
-    - name: Run cargo update
-      run: cargo update
+    # HACK(flip1995): This is here to install the correct toolchain
+    - name: Print cargo version
+      run: cargo -V
 
     # Run
     - name: Build Integration Test
@@ -207,8 +209,9 @@ jobs:
     - name: Checkout
       uses: actions/[email protected]
 
-    - name: Run cargo update
-      run: cargo update
+    # HACK(flip1995): This is here to install the correct toolchain
+    - name: Print cargo version
+      run: cargo -V
 
     # Download
     - name: Download target dir