Commit graph

12 commits

Author SHA1 Message Date
Pavan Kumar Sunkara
99d4aba95c Remove azure pipelines 2021-04-13 22:46:24 +01:00
Pavan Kumar Sunkara
469aacda7e Move more to github ci 2020-11-06 21:02:06 +01:00
Pavan Kumar Sunkara
b3a67a31d8 Take all the GA statuses into one final status 2020-04-21 09:45:59 +02:00
Pavan Kumar Sunkara
abc2ada63f Use github actions for windows 2020-04-21 00:16:32 +02:00
Pavan Kumar Sunkara
9388a099ef Improvements to github actions 2020-04-10 17:19:26 +02:00
Pavan Kumar Sunkara
804639ca67 Rename labels in bors 2020-03-02 11:47:08 +01:00
Pavan Kumar Sunkara
e93ea28971 Changes to bors 2020-02-22 19:39:13 +01:00
CreepySkeleton
280382cb2f Pull request template and fix bors 2020-02-14 02:00:00 +03:00
CreepySkeleton
37ec584f4f
Cut merge commit's messages to the title of the PR 2020-02-08 17:44:59 +03:00
Pavan Kumar Sunkara
6c338e42d0 Faster CI 2020-02-03 03:57:52 +01:00
Pavan Kumar Sunkara
a81618ab86 Update bors.toml 2020-02-02 08:30:14 +01:00
Pavan Kumar Sunkara
9453f74335 Added bors config 2020-02-01 21:50:29 +01:00