Update GitHub Actions workflows. (#838)
This PR was triggered by @t0yv0 generated by the
update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt
repo, from commit
[f19d25e099c54e3ca45528e9e2348cf6873c5534](f19d25e099).
Co-authored-by: Pulumi Bot <bot@pulumi.com>
This commit is contained in:
committed by
GitHub
parent
72c3e93b42
commit
4ba5f703d4
2
.github/workflows/claude.yml
vendored
2
.github/workflows/claude.yml
vendored
@@ -56,7 +56,7 @@ jobs:
|
||||
PR_NUMBER: ${{ github.event.pull_request.number || github.event.issue.number }}
|
||||
run: gh pr checkout "$PR_NUMBER"
|
||||
- name: Setup mise
|
||||
uses: jdx/mise-action@b9e293457e56d4673e497f4e094a64273db23835
|
||||
uses: jdx/mise-action@c6a35e2d7dc8cf1493e7465af7460b4748cd4806
|
||||
env:
|
||||
MISE_FETCH_REMOTE_VERSIONS_TIMEOUT: 30s
|
||||
with:
|
||||
|
||||
2
.github/workflows/lint.yml
vendored
2
.github/workflows/lint.yml
vendored
@@ -49,7 +49,7 @@ jobs:
|
||||
private-key: ${{ steps.esc-secrets.outputs.PULUMI_PROVIDER_AUTOMATION_PRIVATE_KEY }}
|
||||
owner: ${{ github.repository_owner }}
|
||||
- name: Setup mise
|
||||
uses: jdx/mise-action@b9e293457e56d4673e497f4e094a64273db23835
|
||||
uses: jdx/mise-action@c6a35e2d7dc8cf1493e7465af7460b4748cd4806
|
||||
env:
|
||||
MISE_FETCH_REMOTE_VERSIONS_TIMEOUT: 30s
|
||||
with:
|
||||
|
||||
Reference in New Issue
Block a user