Merge branch 'PHP-8.1' into PHP-8.2

* PHP-8.1:
  Skip nightly coverage job in forks
This commit is contained in:
Ilija Tovilo 2022-09-15 10:42:08 +02:00
commit ca03a56d53
No known key found for this signature in database
GPG key ID: A4F5D403F118200A

View file

@ -165,6 +165,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