diff options
| author | Michael Burkhart <mcb93@cam.ac.uk> | 2022-01-22 21:15:06 +0000 |
|---|---|---|
| committer | Michael Burkhart <mcb93@cam.ac.uk> | 2022-01-22 21:15:06 +0000 |
| commit | b6751f15e8dea0ea1298d69286a48905ae2e7b00 (patch) | |
| tree | ae1fffeb93a546f7054209c39c95d90f2efc25b4 /doc/source/dev | |
| parent | 45b59a6c5d91fcb815bbdde77014d9731fd9dc15 (diff) | |
| download | numpy-b6751f15e8dea0ea1298d69286a48905ae2e7b00.tar.gz | |
DOC: Fixes minor formatting issue related to nested inline markup.
We adopt the solution suggested by @WarrenWeckesser in his discussion of the
issue. Closes #20676.
Diffstat (limited to 'doc/source/dev')
| -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: |