Commit Graph

5 Commits

Author SHA1 Message Date
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