Update GitHub Actions workflows. (#268)

This PR was automatically generated by the update-workflows-ecosystem-providers workflow in the pulumi/ci-mgmt repo, from commit 46949aa46a4059b4f1ff99103c9b49fc832ba098.
pulumi · Nov 17, 2023 · 2dfb10e · 2dfb10e
1 parent d628fb1
commit 2dfb10e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/devbox.json b/devbox.json
@@ -1,5 +1,7 @@
 {
   "packages": [
+    "yarn@latest",
+    "pulumictl@latest",
     "[email protected].",
     "nodejs@20.",
     "[email protected]",

diff --git a/devbox.lock b/devbox.lock
@@ -0,0 +1 @@
+{}