Harden GitHub Workflows permissions (#772) #1162

Job	Run time
Tests without optional packages (7.2, lowest, 4.4.*)	31s
Tests (7.2, 4.4.*, highest)	40s
Tests without optional packages (7.4, highest)	41s
Tests (7.2, 5.*, highest)	31s
Tests without optional packages (8.0, lowest, 4.4.*)	35s
Tests (7.3, 4.4.*, highest)	35s
Tests without optional packages (8.1, highest)	37s
Tests (7.3, 5.*, highest)	49s
Tests without optional packages (8.2, highest)	40s
Tests (7.4, 4.4.*, highest)	35s
Tests (7.4, 5.*, highest)	42s
Tests (8.0, 4.4.*, highest)	35s
Tests (8.0, 5.*, highest)	46s
Tests (8.0, 6.*, highest)	44s
Tests (8.1, 4.4.*, highest)	37s
Tests (8.1, 5.*, highest)	41s
Tests (8.1, 6.*, highest)	46s
Tests (8.2, 4.4.*, highest)	34s
Tests (8.2, 5.*, highest)	34s
Tests (8.2, 6.*, highest)	40s
Tests (7.2, 4.4.*, lowest)	30s
Tests (7.2, 5.*, lowest)	27s
Tests (8.0, 6.*, lowest)	44s
	14m 34s

Provide feedback