Merge branch 'PHP-8.3'

Author: bukka

.github/nightly_matrix.php

@@ -1,6 +1,6 @@
 <?php
 
-const BRANCHES = ['master', 'PHP-8.2', 'PHP-8.1', 'PHP-8.0'];
+const BRANCHES = ['master', 'PHP-8.3', 'PHP-8.2', 'PHP-8.1', 'PHP-8.0'];
 
 function get_branch_commit_cache_file_path(): string {
     return dirname(__DIR__) . '/branch-commit-cache.json';

.github/workflows/push.yml

@@ -14,6 +14,7 @@ on:
       - PHP-8.0
       - PHP-8.1
       - PHP-8.2
+      - PHP-8.3
       - master
   pull_request:
     paths-ignore: