Add permissions to GitHub actions #838

Job	Run time
Tests (ubuntu-latest, 7.2, lowest)	34s
Tests (ubuntu-latest, 7.2, highest)	26s
Tests (ubuntu-latest, 7.3, lowest)	37s
Tests (ubuntu-latest, 7.3, highest)	1m 13s
Tests (ubuntu-latest, 7.4, lowest)	26s
Tests (ubuntu-latest, 7.4, highest)	46s
Tests (ubuntu-latest, 8.0, lowest)	17s
Tests (ubuntu-latest, 8.0, highest)	54s
Tests (ubuntu-latest, 8.1, lowest)	14s
Tests (ubuntu-latest, 8.1, highest)	46s
Tests (ubuntu-latest, 8.2, lowest)	35s
Tests (ubuntu-latest, 8.2, highest)	46s
Tests (ubuntu-latest, 8.3, lowest)	49s
Tests (ubuntu-latest, 8.3, highest)	1m 32s
Tests (windows-latest, 7.2, lowest)	1m 17s
Tests (windows-latest, 7.2, highest)	55s
Tests (windows-latest, 7.3, lowest)	52s
Tests (windows-latest, 7.3, highest)	1m 32s
Tests (windows-latest, 7.4, lowest)	1m 7s
Tests (windows-latest, 7.4, highest)	1m 56s
Tests (windows-latest, 8.0, lowest)	1m 5s
Tests (windows-latest, 8.0, highest)	2m 28s
Tests (windows-latest, 8.1, lowest)	1m 32s
Tests (windows-latest, 8.1, highest)	2m 6s
Tests (windows-latest, 8.2, lowest)	47s
Tests (windows-latest, 8.2, highest)	2m 4s
Tests (windows-latest, 8.3, lowest)	42s
Tests (windows-latest, 8.3, highest)	1m 47s
	30m 5s

Provide feedback