From ec267e967354c9c189a63d8dca4cac60e4200dbb Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Sun, 14 Apr 2024 10:54:31 -0700 Subject: [PATCH] Delete xargo build --- .github/workflows/xargo.yml | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 .github/workflows/xargo.yml diff --git a/.github/workflows/xargo.yml b/.github/workflows/xargo.yml deleted file mode 100644 index eb245dd..0000000 --- a/.github/workflows/xargo.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: xargo - -on: - push: - branches: - - xargo - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/build.yml - with: - crate: xargo - bin: xargo-check - permissions: - contents: write - secrets: inherit