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
..
ISSUE_TEMPLATE	tools: add a `v bug file.v` tool to automatically report bugs on GitHub (#9746)	2021-04-19 21:40:54 +03:00
workflows	Revert "ci: minor optimization in the cancel workflow (#10978)"	2021-07-28 22:19:14 +03:00
FUNDING.yml	…
PULL_REQUEST_TEMPLATE	…