Merge pull request #18 from HaudinFlorence/ignore_binder_config

Add an ignore_links in build.yml.
jupyterlab-contrib · Jun 16, 2023 · 19bbf15 · 19bbf15
2 parents a16b63b + 04e53bd
commit 19bbf15
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -155,3 +155,5 @@ jobs:
       - uses: actions/checkout@v3
       - uses: jupyterlab/maintainer-tools/.github/actions/base-setup@v1
       - uses: jupyterlab/maintainer-tools/.github/actions/check-links@v1
+        with:
+          ignore_links: "https://mybinder.org/v2/gh/jupyterlab-contrib/jupyterlab-theme-editor/main?urlpath=lab"