Update GitHub Actions workflows. (#399)

This PR was automatically generated by the
update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt
repo, from commit 0cea2fd73ef845511ab1c57b9b453f1c059d9537.

Author: pulumi-bot

.github/workflows/master.yml

@@ -137,7 +137,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
@@ -287,7 +287,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

.github/workflows/prerelease.yml

@@ -225,7 +225,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