bors eaed72f537 Auto merge of #5165 - matthiaskrgr:ci_cargo_cache_autoclean, r=flip1995 ... gha: install cargo-cache with ci-autoclean feature which speeds up build time by a large margin. changelog: none		2020-02-12 15:11:32 +00:00
..
workflows	Auto merge of #5165 - matthiaskrgr:ci_cargo_cache_autoclean, r=flip1995	2020-02-12 15:11:32 +00:00
deploy_key.enc	Setup automatic push of gh-pages	2016-07-19 21:26:16 +02:00
deploy.sh	Apply review comments	2020-02-12 09:34:28 +01:00
driver.sh	Apply review comments	2020-02-12 09:34:28 +01:00
ISSUE_TEMPLATE.md	Update ISSUE_TEMPLATE	2018-09-13 18:31:39 +02:00
PULL_REQUEST_TEMPLATE.md	Deprecate util/dev in favor of cargo alias	2020-01-30 21:34:31 +01:00