bors 2f6b6ab8a1 Auto merge of #5475 - woshilapin:woshilapin-patch-1, r=flip1995 ...

[fix] Minor typo in GH Actions 'clippy_dev'

changelog: minor: fixes file name in Github Actions workflow `clippy_dev.yml`

I was looking for something else and ended up on that typo, just thought I would fix it.

2020-04-16 20:29:19 +00:00

..

workflows

Auto merge of #5475 - woshilapin:woshilapin-patch-1, r=flip1995

2020-04-16 20:29:19 +00:00

deploy.sh

Also deploy from the beta branch

2020-03-25 20:20:54 +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