diff options
Diffstat (limited to 'doc/source/dev/development_workflow.rst')
| -rw-r--r-- | doc/source/dev/development_workflow.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/source/dev/development_workflow.rst b/doc/source/dev/development_workflow.rst index 457bcf34a..38f047ec0 100644 --- a/doc/source/dev/development_workflow.rst +++ b/doc/source/dev/development_workflow.rst @@ -204,10 +204,10 @@ fragments in your commit message:: ``[skip travis]``: skip TravisCI jobs ``[skip azurepipelines]``: skip Azure jobs -*Note: unfortunately not all CI systems implement this feature well, or at all. +*Note*: unfortunately not all CI systems implement this feature well, or at all. CircleCI supports ``ci skip`` but has no command to skip only CircleCI. Azure chooses to still run jobs with skip commands on PRs, the jobs only get -skipped on merging to master.* +skipped on merging to master. .. _workflow_mailing_list: |