Add a note about CI tests to contributing guidelines

zengwei00 · Mar 24, 2023 · 909e0ae · 909e0ae
1 parent a1bd9f5
commit 909e0ae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -50,6 +50,7 @@ in another branch and only push to the branch of the pull request when
 you are ready for further feedback.
 
 This is a project with limited resources, please do not flood us.
+A pull request with failing CI tests will generally not be looked at.
 
 ## Coding Style