flip1995 11002c7f77 Use new template forms for issue templates ...

GitHub has a new way to define issue templates. This gives an even more
consistent formatting of our issues.

2021-11-30 17:19:48 +00:00

..

ISSUE_TEMPLATE

Use new template forms for issue templates

2021-11-30 17:19:48 +00:00

workflows

Run clippy_dev workflow on current rust-toolchain

2021-11-12 21:22:09 +00:00

deploy.sh

Fix deploy script

2021-10-21 18:00:57 +02:00

driver.sh

Merge remote-tracking branch 'upstream/master' into rustup

2020-10-31 09:33:40 +01:00

PULL_REQUEST_TEMPLATE.md

Update pull request template

2021-04-19 23:02:41 +09:00