Use node-less 3rd party checkout action

model-checking · Jul 8, 2024 · ab69e8a · ab69e8a
1 parent 5789abb
commit ab69e8a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -113,7 +113,7 @@ jobs:
           rm get-pip.py
 
       - name: Checkout Kani
-        uses: actions/checkout@v4
+        uses: taiki-e/checkout-action@v1
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup