1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Merge branch 'PHP-8.1' into PHP-8.2

* PHP-8.1:
  Run FreeBSD on push
This commit is contained in:
Ilija Tovilo
2023-10-30 11:28:16 +01:00

View File

@@ -3,7 +3,6 @@ env:
freebsd_task:
name: FREEBSD_DEBUG_NTS
only_if: $CIRRUS_CRON == 'nightly' || $CIRRUS_CHANGE_TITLE =~ '.*\[ci freebsd\].*'
freebsd_instance:
image_family: freebsd-13-2
env: