diff options
| author | Ralf Gommers <ralf.gommers@gmail.com> | 2023-02-21 18:19:07 +0000 |
|---|---|---|
| committer | Ralf Gommers <ralf.gommers@gmail.com> | 2023-02-21 18:19:07 +0000 |
| commit | c7302e38f0bcea5d1cca038a4e1e2f32d93f19d8 (patch) | |
| tree | 8fb3bd1b6202e5fbcfc3ff8fbf626666e5bd358d /doc/source/dev/development_workflow.rst | |
| parent | 14e91c7475e5a18d86714c4dd7586ca4be995dfe (diff) | |
| download | numpy-c7302e38f0bcea5d1cca038a4e1e2f32d93f19d8.tar.gz | |
CI: clean up GHA boilerplate for `[skip github]`
GitHub has had builtin support for this for quite a while now, via
`skip actions`. So we no longer need this. It's left only in the one
Meson job; that line is already taken care of in gh-23165.
[skip cirrus] [skip circle] [skip azp] [skip travis]
Diffstat (limited to 'doc/source/dev/development_workflow.rst')
| -rw-r--r-- | doc/source/dev/development_workflow.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/source/dev/development_workflow.rst b/doc/source/dev/development_workflow.rst index b9dc0c674..c54a34192 100644 --- a/doc/source/dev/development_workflow.rst +++ b/doc/source/dev/development_workflow.rst @@ -200,8 +200,7 @@ sequences. In such cases you may explicitly skip CI by including one of these fragments in your commit message: * ``[skip ci]``: skip all CI -* ``[skip github]``: skip GitHub Actions "build numpy and run tests" jobs -* ``[skip actions]``: skip all GitHub Actions +* ``[skip actions]``: skip GitHub Actions jobs * ``[skip travis]``: skip TravisCI jobs * ``[skip azp]``: skip Azure jobs * ``[skip circle]``: skip CircleCI jobs |