Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ env:
ESC_ACTION_ENVIRONMENT: github-secrets/pulumi-registry
ESC_ACTION_EXPORT_ENVIRONMENT_VARIABLES: GITHUB_TOKEN=PULUMI_BOT_TOKEN

name: provider docs build
name: Handle Provider Update Events
on:
repository_dispatch:
types:
Expand All @@ -36,8 +36,8 @@ on:
# Optional inputs are:
# - PROVIDER_SCHEMA_PATH
- resource-provider
# An update for a provider that is hosted opaquely - where we don't assume a backing
# GH repo.
# An update for a provider without a GitHub repo (OpenTofu registry providers, anytf).
# Schema and docs are hosted at arbitrary URLs instead of GitHub repo structure.
#
# Required inputs are:
# - PROVIDER_SHORT_NAME
Expand Down Expand Up @@ -80,6 +80,7 @@ jobs:
--publisher Pulumi
- name: git status
run: git status && git diff
# Duplicate checking unnecessary: we own the repositories dispatching these events
- name: Create registry PR
uses: ./.github/actions/new-provider-version-pr
with:
Expand Down Expand Up @@ -121,6 +122,7 @@ jobs:
--indexFileURL "${{ env.PROVIDER_INDEX_URL }}"
- name: git status
run: git status && git diff
# Duplicate checking unnecessary: we own the repositories dispatching these events
- name: Create registry PR
uses: ./.github/actions/new-provider-version-pr
with:
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
permissions: write-all # Equivalent to default permissions plus id-token: write
name: Check for Community Package Updates
name: Poll Community Packages for New Versions
on:
workflow_dispatch: null
schedule:
Expand Down
Loading