mirror of
https://github.com/nlohmann/json.git
synced 2026-09-03 15:05:01 +00:00
📝 overwork project infrastructure
Signed-off-by: Niels Lohmann <mail@nlohmann.me>
This commit is contained in:
+2
-2
@@ -23,11 +23,11 @@ labels:
|
||||
|
||||
- label: "CI"
|
||||
files:
|
||||
- "github/workflows/.*"
|
||||
- ".github/workflows/.*"
|
||||
|
||||
- label: "CI"
|
||||
files:
|
||||
- "github/external_ci/.*"
|
||||
- ".github/external_ci/.*"
|
||||
|
||||
- label: "S"
|
||||
size-below: 10
|
||||
|
||||
Reference in New Issue
Block a user