Build

Don't lint on PHP 8.0 because it's broken #1239

Job	Run time
Coding standards (highest, 8.3, ubuntu-latest)	26s
Static analysis (highest, 8.3, ubuntu-latest)	31s
Typos	4s
Tests (lowest, 7.4, ubuntu-latest)	25s
Tests (lowest, 7.4, windows-latest)	58s
Upload code coverage (highest, 8.3, ubuntu-latest)	1m 6s
Tests (lowest, 8.0, ubuntu-latest)	31s
Tests (lowest, 8.0, windows-latest)	1m 0s
Lint (highest, 7.4, ubuntu-latest)	25s
Tests (lowest, 8.1, ubuntu-latest)	19s
Lint (highest, 8.1, ubuntu-latest)	17s
Tests (lowest, 8.1, windows-latest)	55s
Lint (highest, 8.2, ubuntu-latest)	20s
Tests (lowest, 8.2, ubuntu-latest)	25s
Lint (highest, 8.3, ubuntu-latest)	19s
Tests (lowest, 8.2, windows-latest)	1m 5s
Tests (lowest, 8.3, ubuntu-latest)	20s
Tests (lowest, 8.3, windows-latest)	53s
Tests (highest, 7.4, ubuntu-latest)	20s
Tests (highest, 7.4, windows-latest)	57s
Tests (highest, 8.0, ubuntu-latest)	19s
Tests (highest, 8.0, windows-latest)	59s
Tests (highest, 8.1, ubuntu-latest)	18s
Tests (highest, 8.1, windows-latest)	55s
Tests (highest, 8.2, ubuntu-latest)	18s
Tests (highest, 8.2, windows-latest)	59s
Tests (highest, 8.3, ubuntu-latest)	22s
Tests (highest, 8.3, windows-latest)	1m 1s
	16m 47s

Provide feedback