From 349900d4f30c286b23240927ce819faede3cf2d1 Mon Sep 17 00:00:00 2001 From: James Bourbeau Date: Tue, 5 Dec 2023 10:26:35 -0600 Subject: [PATCH] Remove binder PR comments --- .github/workflows/binder-badge.yml | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 .github/workflows/binder-badge.yml diff --git a/.github/workflows/binder-badge.yml b/.github/workflows/binder-badge.yml deleted file mode 100644 index 22e7195e..00000000 --- a/.github/workflows/binder-badge.yml +++ /dev/null @@ -1,11 +0,0 @@ -name: AddBinderBadge -on: - pull_request_target: - -jobs: - badge: - runs-on: ubuntu-latest - steps: - - uses: manics/action-binderbadge@main - with: - githubToken: ${{ secrets.GITHUB_TOKEN }}