Merge branch 'PHP-8.3'

dstogov · Aug 29, 2023 · f612a72 · f612a72
2 parents 7deb84b + 300ad65
commit f612a72
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/nightly_matrix.php b/.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';

diff --git a/.github/workflows/push.yml b/.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: