1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 08:12:21 +01:00

Merge branch 'PHP-8.0'

* PHP-8.0:
  Update community, coverage and file cache jobs to Ubuntu 20.04
This commit is contained in:
Nikita Popov
2021-05-07 11:31:36 +02:00
3 changed files with 3 additions and 3 deletions

View File

@@ -16,7 +16,7 @@ jobs:
- job: ${{ parameters.configurationName }}
timeoutInMinutes: ${{ parameters.timeoutInMinutes }}
pool:
vmImage: 'ubuntu-18.04'
vmImage: 'ubuntu-20.04'
variables:
ubsan_options: 'print_stacktrace=1'
steps:

View File

@@ -8,7 +8,7 @@ jobs:
- job: ${{ parameters.configurationName }}
timeoutInMinutes: ${{ parameters.timeoutInMinutes }}
pool:
vmImage: 'ubuntu-18.04'
vmImage: 'ubuntu-20.04'
steps:
- template: mssql.yml
- template: apt.yml

View File

@@ -8,7 +8,7 @@ jobs:
- job: ${{ parameters.configurationName }}
timeoutInMinutes: ${{ parameters.timeoutInMinutes }}
pool:
vmImage: 'ubuntu-18.04'
vmImage: 'ubuntu-20.04'
steps:
- template: mssql.yml
- template: apt.yml