1
0
mirror of https://github.com/vlang/v.git synced 2023-08-10 21:13:21 +03:00
Commit Graph

6 Commits

Author SHA1 Message Date
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