diff options
| -rw-r--r-- | doc_topics/02-development.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_topics/02-development.md b/doc_topics/02-development.md index 8925b83..c145c79 100644 --- a/doc_topics/02-development.md +++ b/doc_topics/02-development.md @@ -8,5 +8,5 @@ The tests concerned are all labelled with `#manual`. And in CI they will be skipped because `--exclude-tags=manual` is being passed to the `busted` command line. -Hence if tests like this are being added, then please ensure the tests +Hence if tests like these are being added, then please ensure the tests pass locally, and do not rely on CI only. |