From 1922dfbd2971a944f7b97ff76efdae4dcfd178e3 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Mon, 1 Nov 2021 23:54:24 +0100 Subject: [PATCH] added bors integration --- .github/bors.toml | 2 ++ .github/workflows/ci.yml | 11 ++++++++++- 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 .github/bors.toml diff --git a/.github/bors.toml b/.github/bors.toml new file mode 100644 index 0000000..1779788 --- /dev/null +++ b/.github/bors.toml @@ -0,0 +1,2 @@ +status = ["ci"] +delete_merged_branches = true diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 93253b5..8362357 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -47,4 +47,13 @@ jobs: - uses: actions-rs/cargo@v1 with: command: clippy - args: -- -D warnings \ No newline at end of file + args: -- -D warnings + + ci: + if: ${{ success() }} + # all new jobs must be added to this list + needs: [check, fmt, clippy] + runs-on: ubuntu-latest + steps: + - name: CI succeeded + run: exit 0 \ No newline at end of file