Repository navigation

Bump GitHub actions #1233

Job	Run time
Test on PHP 8.4 with PHPUnit 13	19s
Test on PHP 8.5 with PHPUnit 13	17s
Test on PHP 8.2 with PHPUnit 11	19s
Benchmark on PHP 7.4 and ubuntu-latest	23s
Test on PHP 8.1 with PHPUnit 10	17s
Benchmark on PHP 8.5 and ubuntu-latest	24s
Benchmark on PHP 8.1 and ubuntu-latest	23s
Benchmark on PHP 7.2 and ubuntu-latest	15s
Test on PHP 8.6 and ubuntu-latest	1m 21s
Test on PHP 8.0 and ubuntu-latest	1m 14s
Test on PHP 8.5 and ubuntu-latest	1m 7s
Benchmark on PHP 8.4 and ubuntu-latest	22s
Test on PHP 7.2 and ubuntu-latest	27s
Test on PHP 8.3 with PHPUnit 12	18s
Benchmark on PHP 8.6 and ubuntu-latest	25s
Test on PHP 8.2 and ubuntu-latest	1m 20s
Benchmark on PHP 8.3 and ubuntu-latest	22s
Test on PHP 8.4 and ubuntu-latest	1m 4s
Test on PHP 7.3 and ubuntu-latest	1m 39s
Test on PHP 7.4 and ubuntu-latest	1m 10s
Benchmark on PHP 8.2 and ubuntu-latest	20s
Test on PHP 8.3 and ubuntu-latest	1m 33s
Test on PHP 8.1 and ubuntu-latest	1m 7s
Benchmark on PHP 8.0 and ubuntu-latest	24s
Benchmark on PHP 7.3 and ubuntu-latest	20s
	17m 10s