diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-13 20:37:51 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-13 20:37:51 +0200 |
| commit | da59470c87ce6daf63bccfec0b0ca4d5092cef1f (patch) | |
| tree | bc931c1ec724a99047bb4c191fd852d4dc878698 /.azure-pipelines.yml | |
| parent | 939e8de7497245c5164877965febfbae2646ab26 (diff) | |
ci: switch to ubuntu 16.04
Diffstat (limited to '.azure-pipelines.yml')
| -rw-r--r-- | .azure-pipelines.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index e07ace2..bd739f4 100644 --- a/.azure-pipelines.yml +++ b/.azure-pipelines.yml @@ -9,7 +9,7 @@ variables: - group: secrets pool: - vmImage: ubuntu-18.04 + vmImage: ubuntu-16.04 steps: |