1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

various: remove CircleCI mention from other locations

This commit is contained in:
Martine Lenders 2022-09-30 10:30:39 +02:00
parent f4b07a9c92
commit c460c6b056
No known key found for this signature in database
GPG Key ID: 2134D77A5336DD80
2 changed files with 1 additions and 2 deletions

1
.github/labeler.yml vendored
View File

@ -17,7 +17,6 @@
- "**/*.mk"
"Area: CI":
- ".circleci/**/*"
- ".github/**/*.yml"
- ".murdock"

View File

@ -24,7 +24,7 @@ OTHER_CLASSIFIERS = [
[re.compile(r"^(.*\.cff|doc\/.*|.*\.md|.*\.txt)$"), "doc"],
[re.compile(r"^(CODEOWNERS|.mailmap|.gitignore|.github\/.*)$"), "git"],
[re.compile(r"^(\.murdock|dist\/ls\/.*|\.drone.yml)$"), "ci-murdock"],
[re.compile(r"^(\.bandit|\.circleci\/.*|\.drone.yml)$"), "ci-other"],
[re.compile(r"^(\.bandit|\.drone.yml)$"), "ci-other"],
[re.compile(r"^(dist\/.*|Vagrantfile)$"), "tools"],
]