Details
-
Improvement
-
Status: Resolved
-
Major
-
Resolution: Implemented
-
None
Description
CI can be retriggered for PRs in three ways:
- pushing new commit
- "re-run all checks" in Github Actions run result view
- closing/reopening PR
New (empty) commit makes CI history visible in the PR, but it triggers two runs: one for the PR and another in the source branch.
Github has recently improved run result view by including UI element for previous runs. Earlier this was available only via the
Closing/reopening to trigger build has two disadvanteges: it produces unnecessary noise (in the PR and email notifications), and CI history is still hard to find.
We should disable build on reopen and prefer "re-run all checks".
Attachments
Issue Links
- links to