From f2b8e782067d2e9b9ea106edf179eb95f7f89576 Mon Sep 17 00:00:00 2001 From: James Bourbeau Date: Tue, 5 Dec 2023 11:32:44 -0600 Subject: [PATCH] Remove binder PR comments (#400) --- .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 }}