Merge branch '8.5' into 9.6

Author: sebastianbergmann

.github/workflows/ci.yaml

@@ -1,8 +1,10 @@
 # https://docs.github.com/en/actions
 
 on:
-  - pull_request
-  - push
+  pull_request: null
+  push: null
+  schedule:
+    - cron: "15 0 * * *"
 
 name: CI
 
@@ -39,6 +41,8 @@ jobs:
   coding-guidelines:
     name: Coding Guidelines
 
+    if: github.event_name != 'schedule'
+
     runs-on: ubuntu-latest
 
     steps:
@@ -59,6 +63,8 @@ jobs:
   type-checker:
     name: Type Checker
 
+    if: github.event_name != 'schedule'
+
     needs:
       - dependency-validation
 
@@ -188,6 +194,8 @@ jobs:
   code-coverage:
     name: Code Coverage
 
+    if: github.event_name != 'schedule'
+
     needs:
       - end-to-end-tests
 
@@ -220,6 +228,8 @@ jobs:
   build-phar:
     name: Build PHAR
 
+    if: github.event_name != 'schedule'
+
     needs:
       - end-to-end-tests
 
@@ -265,6 +275,8 @@ jobs:
   test-phar:
     name: Test PHAR
 
+    if: github.event_name != 'schedule'
+
     needs:
       - build-phar