Guilherme G. Menaldo 0fd50217ae add concurrency setting for github actions workflows ... pushing a new commit in a PR now stops actions from previous commits of the same PR, allowing CI to stop testing old code and starting the new one earlier		2023-10-19 00:10:45 -03:00
..
ISSUE_TEMPLATE	[github] refresh the issue template	2018-10-03 14:05:46 -04:00
workflows	add concurrency setting for github actions workflows	2023-10-19 00:10:45 -03:00
PULL_REQUEST_TEMPLATE.md	make the pull request template less ugly	2018-10-01 16:35:07 -04:00