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
..
ci.yml	Reduce number of GitHub Actions CI builds	2020-11-17 13:21:51 +00:00
release.yml	Fix github releases tag pattern	2020-11-14 03:51:40 +00:00
upload_asset.sh	Migrate from Travis CI to GitHub Actions	2020-11-06 23:52:56 +00:00