Merge branch 'master' into node-20

viperproject · Nov 1, 2024 · 2a50d6e · 2a50d6e
2 parents e19357f + 5b44adf
commit 2a50d6e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/update-submodules.yml b/.github/workflows/update-submodules.yml
@@ -35,7 +35,7 @@ jobs:
 
       - name: Open a pull request
         id: pr
-        uses: peter-evans/create-pull-request@v6
+        uses: peter-evans/create-pull-request@v7
         if: env.PREV_GOBRA_REF != env.CUR_GOBRA_REF
         with:
           # Use viper-admin's token to workaround a restriction of GitHub.

diff --git a/.github/workflows/update-vscode.yml b/.github/workflows/update-vscode.yml
@@ -32,7 +32,7 @@ jobs:
           echo "TEST_VSCODE_VERSION=$TEST_VSCODE_VERSION" >> $GITHUB_ENV
           echo "LATEST_VSCODE_VERSION=$LATEST_VSCODE_VERSION" >> $GITHUB_ENV
       - name: Open a pull request
-        uses: peter-evans/create-pull-request@v6
+        uses: peter-evans/create-pull-request@v7
         if: env.TEST_VSCODE_VERSION != env.LATEST_VSCODE_VERSION
         with:
           # Use viper-admin's token to workaround a restriction of GitHub.

diff --git a/server/gobra b/server/gobra
+1 −1		.github/workflows/update-submodules.yml
+2 −2		docs/tutorial.md
+1 −1		viperserver