flip1995
|
73944645aa
|
Move testing of cargo dev new_lint to cargo dev workflow
This should be placed there. No need to run this in PR CI, if clippy_dev
isn't touched. (It will be run by bors anyway)
|
2022-03-01 10:10:01 +00:00 |
|
Alex Macleod
|
608c9e8584
|
Run clippy_dev workflow on current rust-toolchain
|
2021-11-12 21:22:09 +00:00 |
|
Cameron Steffen
|
68b4a43e23
|
Remove stderr limit
|
2021-08-23 11:02:03 -05:00 |
|
flip1995
|
41cab83fdb
|
Fix toolchain installation in workflows
|
2020-12-10 10:53:19 +01:00 |
|
flip1995
|
2c8cd7d93c
|
Update actions due to deprecation of set-env and add-path
|
2020-10-09 09:17:48 +02:00 |
|
Jean SIMARD
|
b5d62335a4
|
[fix] Minor typo in GH Actions 'clippy_dev'
|
2020-04-16 13:51:37 +02:00 |
|
flip1995
|
deb1979b8e
|
Make limit_stderr_length a subcommand
|
2020-03-31 17:24:09 +02:00 |
|
flip1995
|
b0d25de54a
|
Use list instead of array for branch names
This is the officially supported method
|
2020-02-12 11:03:39 +01:00 |
|
flip1995
|
b47dada167
|
Apply review comments
|
2020-02-12 09:34:28 +01:00 |
|
flip1995
|
abb095dded
|
Run bors checks unconditionally
This is important, since bors doesn't know optional jobs. Otherwise bors
would time out, when a check doesn't get run.
|
2020-02-12 09:34:28 +01:00 |
|
flip1995
|
b8b47ab6fe
|
Add bors dummy jobs
|
2020-02-12 09:34:28 +01:00 |
|
flip1995
|
1158c18ae7
|
Add clippy_dev checks to GitHub Actions
|
2020-02-12 09:34:25 +01:00 |
|