diff options
| author | Adam Turner <9087854+aa-turner@users.noreply.github.com> | 2023-02-15 03:35:15 +0000 |
|---|---|---|
| committer | Adam Turner <9087854+aa-turner@users.noreply.github.com> | 2023-02-15 03:35:49 +0000 |
| commit | 607908924c5e34cc004c6b8278641f37b24e63cf (patch) | |
| tree | 67378a5a28672d16fa2c6260fca75db500d4373e /doc/development/tutorials/examples/autodoc_intenum.py | |
| parent | ff852bc7c31f48e66100e4647749fc199d92ca79 (diff) | |
| download | sphinx-git-607908924c5e34cc004c6b8278641f37b24e63cf.tar.gz | |
Always cancel in-progress workflows on new commits
The current ``github.head_ref || github.run_id`` syntax only cancels
in-progress GitHub Actions runs triggered by pull requests, as
``head_ref`` is only defined for pull requests, and ``run_id`` is
always unique. This changes to using ``ref``, which is the name of
the branch or tag linked to the commit, meaning that in-progress jobs
will be cancelled on pushes to a branch.
Diffstat (limited to 'doc/development/tutorials/examples/autodoc_intenum.py')
0 files changed, 0 insertions, 0 deletions