CI

Merge branch '9.2' into 10.1 #1360

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Type Checker	35s
Coding Guidelines	10s
Tests (ubuntu-latest, 8.1, pcov)	20s
Tests (ubuntu-latest, 8.1, xdebug3)	17s
Tests (ubuntu-latest, 8.2, pcov)	20s
Tests (ubuntu-latest, 8.2, xdebug3)	22s
Tests (ubuntu-latest, 8.3, pcov)	17s
Tests (ubuntu-latest, 8.3, xdebug3)	18s
Tests (ubuntu-latest, 8.4, pcov)	23s
Tests (ubuntu-latest, 8.4, xdebug3)	21s
Tests (windows-latest, 8.1, pcov)	47s
Tests (windows-latest, 8.1, xdebug3)	51s
Tests (windows-latest, 8.2, pcov)	53s
Tests (windows-latest, 8.2, xdebug3)	45s
Tests (windows-latest, 8.3, pcov)	44s
Tests (windows-latest, 8.3, xdebug3)	47s
Tests (windows-latest, 8.4, pcov)	46s
Tests (windows-latest, 8.4, xdebug3)	43s
	9m 39s