Merge remote-tracking branch 'origin/master' into release

JiHong88 · Apr 14, 2024 · d6f6345 · d6f6345
1 parent 7554d75
commit d6f6345
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/deploy-manager.yml b/.github/workflows/deploy-manager.yml
@@ -28,7 +28,8 @@ jobs:
             exit 1
           else
             echo "Package version has been updated to $PACKAGE_VERSION."
-          fi
+            echo "::set-output name=package_version::$PACKAGE_VERSION"
+          fi  
 
       - name: Install dependencies
         run: npm install && npm audit fix

diff --git a/package.json b/package.json
@@ -46,7 +46,7 @@
     "karma": "^6.3.19",
     "karma-chrome-launcher": "^2.2.0",
     "karma-jasmine": "^1.1.2",
-    "katex": "^0.11.1",
+    "katex": "^0.16.10",
     "mini-css-extract-plugin": "^0.4.5",
     "optimize-css-assets-webpack-plugin": "^5.0.4",
     "url-loader": "^1.1.2",