diff options
Diffstat (limited to 'doc_topics/02-development.md')
| -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 | |||
| 8 | be skipped because `--exclude-tags=manual` is being passed to the | 8 | be skipped because `--exclude-tags=manual` is being passed to the |
| 9 | `busted` command line. | 9 | `busted` command line. |
| 10 | 10 | ||
| 11 | Hence if tests like this are being added, then please ensure the tests | 11 | Hence if tests like these are being added, then please ensure the tests |
| 12 | pass locally, and do not rely on CI only. | 12 | pass locally, and do not rely on CI only. |