From a722b77965111292347e09ffb234fcd841fa9ff6 Mon Sep 17 00:00:00 2001
From: mlange-42 <martin_lange_@gmx.net>
Date: Sun, 12 Jan 2025 00:07:04 +0100
Subject: [PATCH] try magic shell

---
 .github/workflows/publish.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 2c917770..f2ca997f 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -11,7 +11,7 @@ jobs:
   publish:
     name: Generate and publish docs
     runs-on: ubuntu-latest
-    steps:    
+    steps:
       - name: Install magic CLI
         run: |
           curl -ssL https://magic.modular.com | bash
@@ -23,8 +23,8 @@ jobs:
         run: |
           cd mojo
           source /home/runner/.bash_profile
-          magic install --locked
+          magic shell
       - name: Generate JSON docs
         run: |
-          magic run mojo doc -o ../stdlib.json stdlib/src
+          run mojo doc -o ../stdlib.json stdlib/src
           cd ..