From 0e110c5b0ed1c55221655ab164b6594550ce228a Mon Sep 17 00:00:00 2001 From: Philippe-Cholet Date: Wed, 15 Nov 2023 14:46:37 +0100 Subject: [PATCH 1/2] Delete bors.toml We do not use bors anymore. --- Cargo.toml | 1 - bors.toml | 3 --- 2 files changed, 4 deletions(-) delete mode 100644 bors.toml diff --git a/Cargo.toml b/Cargo.toml index ed4e3784d..f1ffe19cd 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -12,7 +12,6 @@ description = "Extra iterator adaptors, iterator methods, free functions, and ma keywords = ["iterator", "data-structure", "zip", "product", "group-by"] categories = ["algorithms", "rust-patterns"] -exclude = ["/bors.toml"] edition = "2018" diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 8d72225e7..000000000 --- a/bors.toml +++ /dev/null @@ -1,3 +0,0 @@ -status = [ -"bors build finished" -] From 0cff99daa2f0356cc20263719859f03c774d751a Mon Sep 17 00:00:00 2001 From: Philippe-Cholet Date: Wed, 15 Nov 2023 14:49:14 +0100 Subject: [PATCH 2/2] No CI if only for markdown changes There is no point in running CI only for markdown changes. Such as #802 (prepare releases) and #767 (Contributing.md) https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#onpushpull_requestpull_request_targetpathspaths-ignore --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 83deb9e40..8f265ae2b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,11 @@ name: CI on: pull_request: + paths-ignore: + - "**.md" merge_group: + paths-ignore: + - "**.md" jobs: check: