From dbe714ddc8e4239a5694acca0994b1431d4d2d39 Mon Sep 17 00:00:00 2001 From: Ziyang Hu Date: Tue, 25 Oct 2022 19:28:01 +0800 Subject: [PATCH] workflows --- .github/workflows/{rust.yml => build.yml} | 2 +- .github/workflows/nopull.yml | 14 -------------- 2 files changed, 1 insertion(+), 15 deletions(-) rename .github/workflows/{rust.yml => build.yml} (96%) delete mode 100644 .github/workflows/nopull.yml diff --git a/.github/workflows/rust.yml b/.github/workflows/build.yml similarity index 96% rename from .github/workflows/rust.yml rename to .github/workflows/build.yml index 43bb5eab..ecf702ab 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/build.yml @@ -1,4 +1,4 @@ -name: Rust +name: Build on: push: diff --git a/.github/workflows/nopull.yml b/.github/workflows/nopull.yml deleted file mode 100644 index 9f692566..00000000 --- a/.github/workflows/nopull.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: Close Pull Request - -on: - pull_request_target: - types: [opened] - -jobs: - run: - runs-on: ubuntu-latest - steps: - - uses: superbrothers/close-pull-request@v3 - with: - # Optional. Post a issue comment just before closing a pull request. - comment: "We do not accept PRs. If you have any questions, please feel free to contact us."