From 5d958ec6eed5f2418a5e47316d8f12a9718c7fa6 Mon Sep 17 00:00:00 2001
From: Pulumi Bot <30351955+pulumi-bot@users.noreply.github.com>
Date: Wed, 3 Jan 2024 22:12:58 -0800
Subject: [PATCH] Update GitHub Actions workflows. (#591)

This PR was automatically generated by the
update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt
repo, from commit 765bc5726415923fbd41795fb83305b5044f722f.
---
 .github/workflows/master.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
index 89ae7ed1fa..c3eef545ad 100644
--- a/.github/workflows/master.yml
+++ b/.github/workflows/master.yml
@@ -171,7 +171,7 @@ jobs:
     - name: Echo Coverage Output Dir
       run: 'echo "Coverage output directory: ${{ env.COVERAGE_OUTPUT_DIR }}"'
     - name: Generate Coverage Data
-      run: make tfgen
+      run: PULUMI_MISSING_DOCS_ERROR=true make tfgen
     - name: Summarize Provider Coverage Results
       run: cat ${{ env.COVERAGE_OUTPUT_DIR }}/shortSummary.txt
     - name: Upload coverage data to S3