Update GitHub Actions workflows. (#420)

This PR was automatically generated by the update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt repo, from commit 0cea2fd73ef845511ab1c57b9b453f1c059d9537.
pulumi · Feb 29, 2024 · 6c482aa · 6c482aa
1 parent 583c523
commit 6c482aa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -138,7 +138,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Free Disk Space (Ubuntu)
-      uses: jlumbroso/free-disk-spacev@v1
+      uses: jlumbroso/free-disk-space@v1.3.1
       with:
         tool-cache: false
         swap-storage: false
@@ -288,7 +288,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Free Disk Space (Ubuntu)
-      uses: jlumbroso/free-disk-spacev@v1
+      uses: jlumbroso/free-disk-space@v1.3.1
       with:
         # this might remove tools that are actually needed,
         # if set to "true" but frees about 6 GB

diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml
@@ -226,7 +226,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Free Disk Space (Ubuntu)
-      uses: jlumbroso/free-disk-spacev@v1
+      uses: jlumbroso/free-disk-space@v1.3.1
       with:
         # this might remove tools that are actually needed,
         # if set to "true" but frees about 6 GB