1 #####################################
2 ## READ BEFORE CHANGING THIS ##
3 #####################################
5 # We're in the process of evaluating GitHub Actions as a possible replacement
6 # for Azure Pipelines, and at the moment the configuration is duplicated
7 # between the two CI providers. Be sure to also change the configuration in
8 # src/ci/github-actions when changing this file.
10 #####################################
22 - bash: echo "We're running this job since bors is still gating on Azure"