Update GitHub Actions workflows. (#743)
This PR was automatically generated by the update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt repo, from commit a3bb44291e85389589513a73050a049a024bd800. Co-authored-by: Pulumi Bot <bot@pulumi.com>
This commit is contained in:
committed by
GitHub
parent
b35af1d86d
commit
570f83ca62
@@ -17,7 +17,7 @@ python = '3.11.8'
|
||||
java = 'corretto-11'
|
||||
|
||||
# Executable tools
|
||||
pulumi = "{{ get_env(name='PULUMI_VERSION_MISE', default='latest') }}"
|
||||
"github:pulumi/pulumi" = "{{ get_env(name='PULUMI_VERSION_MISE', default='latest') }}"
|
||||
"github:pulumi/pulumictl" = '0.0.50'
|
||||
"github:pulumi/schema-tools" = "0.6.0"
|
||||
"aqua:gradle/gradle-distributions" = '7.6.6'
|
||||
|
||||
Reference in New Issue
Block a user