Update GitHub Actions workflows. (#1660)

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

Author: pulumi-bot

mise.toml

@@ -0,0 +1,16 @@
+# WARNING: This file is autogenerated - changes will be overwritten when regenerated by https://github.com/pulumi/ci-mgmt
+
+[tools]
+
+# Runtimes
+go = '1.21'
+node = '20'
+python = '3.11.8'
+dotnet = '8.0'
+# Corretto version used as Java SE/OpenJDK version no longer offered
+java = 'corretto-11'
+
+# Executable tools
+pulumi = 'latest'
+"go:github.com/pulumi/pulumictl/cmd/pulumictl" = 'latest'
+gradle = '7.6'