Christian Duerr 8b10e5e778 Reduce number of GitHub Actions CI builds ... By reducing the number of CI jobs for GitHub actions, it should be possible to get a faster overview over the status of all CI jobs. While this does increase the total build time of GitHub Actions by reducing parallelization, it should still finish within the SourceHut CI times.		2020-11-17 13:21:51 +00:00
..
workflows	Reduce number of GitHub Actions CI builds	2020-11-17 13:21:51 +00:00
ISSUE_TEMPLATE.md	Fix PR and issue template	2019-12-02 17:12:29 +01:00
pull_request_template.md	Bump alacritty_terminal version	2020-07-19 14:14:31 +00:00