Merge branch 'main' into runtime-server

Safe-DS · Nov 30, 2023 · 9f78034 · 9f78034
2 parents 0229aed + 37c5330
commit 9f78034
Show file tree

Hide file tree

Showing 6 changed files with 108 additions and 109 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -38,7 +38,6 @@ jobs:
         run: npm run test-with-coverage
 
       - name: Upload coverage to Codecov
-        if: ${{ github.actor != 'dependabot[bot]' }}
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -43,7 +43,6 @@ jobs:
         run: npm run test-with-coverage
 
       - name: Upload coverage to Codecov
-        if: ${{ github.actor != 'dependabot[bot]' }}
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}

diff --git a/docs/poetry.lock b/docs/poetry.lock
diff --git a/docs/pyproject.toml b/docs/pyproject.toml
@@ -11,10 +11,10 @@ packages = [
 [tool.poetry.dependencies]
 python = "^3.11"
 mkdocs = "^1.5.3"
-mkdocs-glightbox = "^0.3.4"
-mkdocs-material = "^9.4.7"
+mkdocs-glightbox = "^0.3.5"
+mkdocs-material = "^9.4.14"
 mkdocs-same-dir = "^0.1.2"
-pygments = "^2.16.1"
+pygments = "^2.17.2"
 
 [tool.poetry.plugins."pygments.lexers"]
 sds = "safe_ds_lexer:SafeDsLexer"