| ##################################### |
| ## READ BEFORE CHANGING THIS ## |
| ##################################### |
| |
| # We're in the process of evaluating GitHub Actions as a possible replacement |
| # for Azure Pipelines, and at the moment the configuration is duplicated |
| # between the two CI providers. Be sure to also change the configuration in |
| # src/ci/github-actions when changing this file. |
| |
| ##################################### |
| |
| pr: none |
| trigger: |
| - try |
| |
| jobs: |
| - job: Dummy |
| timeoutInMinutes: 600 |
| pool: |
| vmImage: ubuntu-16.04 |
| steps: |
| - bash: echo "We're running this job since bors is still gating on Azure" |