Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
  Skip nightly coverage job in forks
This commit is contained in:
Ilija Tovilo 2022-09-15 10:41:53 +02:00
commit 308ad7f017
No known key found for this signature in database
GPG Key ID: A4F5D403F118200A

View File

@ -156,6 +156,7 @@ jobs:
- name: Verify generated files are up to date
uses: ./.github/actions/verify-generated-files
COVERAGE_DEBUG_NTS:
if: github.repository_owner == 'php' || github.event_name == 'workflow_dispatch'
runs-on: ubuntu-20.04
steps:
- name: git checkout