blob: 62bb6f47334123f79f34d6d77bd552ba99ea2900 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#####################################
## 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"
|
