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
..
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 "Revert "ci: minor optimization in the cancel workflow (#10978)""	2021-07-29 09:28:42 +03:00
FUNDING.yml
PULL_REQUEST_TEMPLATE	tests: add v test-all, move v test-fixed to v test-compiler-full	2021-01-17 16:11:10 +02:00