Delyan Angelov
|
066dd023d2
|
Revert "Revert "ci: minor optimization in the cancel workflow (#10978)""
This reverts commit 7704685458.
The real reason is not that PR, but just github being flaky lately :-| .
|
2021-07-29 09:28:42 +03:00 |
|
Delyan Angelov
|
7704685458
|
Revert "ci: minor optimization in the cancel workflow (#10978)"
This reverts commit 61ed1d810f.
Reason: queued fast jobs for all CI runs on merged commits on master
after that PR.
https://cdn.discordapp.com/attachments/722442086984450159/870022126663520276/unknown.png
|
2021-07-28 22:19:14 +03:00 |
|
spaceface
|
61ed1d810f
|
ci: minor optimization in the cancel workflow (#10978)
before this we scheduled two additional workflows, one for each workflow.
This PR now schedules just one, which cancels both workflows by itself.
|
2021-07-27 21:49:18 +03:00 |
|
spaceface
|
b173e55be5
|
ci: auto-cancel previous workflows when a new commit is pushed (part 2) (#10970)
|
2021-07-26 15:55:09 +03:00 |
|
Delyan Angelov
|
8e47d27cb9
|
Revert "ci: auto-cancel previous workflows when a new commit is pushed (#10962)"
Unfortunately #10962 made PR runs, cancel runs on commits pushed
to master too, leading to false positives for failed CI runs :-| .
See https://github.com/vlang/v/commits/master?after=db5e0f21171c05fff3492754eb7aa09b8783c3f1+0&branch=master
This reverts commit 6d6b08ba2a.
|
2021-07-25 23:50:27 +03:00 |
|
spaceface
|
6d6b08ba2a
|
ci: auto-cancel previous workflows when a new commit is pushed (#10962)
|
2021-07-25 21:28:22 +03:00 |
|
