From 3137597972b38e1f77a014360a0336caacb76f4b Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Thu, 14 Nov 2019 16:52:05 +0100 Subject: [PATCH] clarify that we still like Azure Pipelines --- .../2019-11-14-evaluating-github-actions.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/posts/inside-rust/2019-11-14-evaluating-github-actions.md b/posts/inside-rust/2019-11-14-evaluating-github-actions.md index cabb3461a..5a3ed3141 100644 --- a/posts/inside-rust/2019-11-14-evaluating-github-actions.md +++ b/posts/inside-rust/2019-11-14-evaluating-github-actions.md @@ -26,3 +26,13 @@ builds even faster. Our plan is to start running GitHub Actions in parallel with Azure Pipelines in the next few weeks, and we’ll keep the community updated as we learn more. + +--- + +**[Update]** Some members of the community asked why we're considering to +switch away from Azure Pipelines so soon after migrating to it. We want to +reaffirm that we're happy with Pipelines as a product, but both Microsoft and +GitHub asked us to try GitHub Actions because it's more closely integrated into +the GitHub workflow that we already use. After we used it for a while in other +repositories we were satisfied enough to start evaluating a migration for +rustc's CI.