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