Merge branch 'develop' #63

Job	Run time
CS (8.2)	18s
Coverage (ubuntu-latest, 8.2, lowest)	3m 57s
BlackBox (ubuntu-latest, 8.2, lowest)	45s
Coverage (ubuntu-latest, 8.2, highest)	4m 0s
BlackBox (ubuntu-latest, 8.2, highest)	46s
Psalm (8.2, lowest)	24s
Coverage (ubuntu-latest, 8.3, lowest)	4m 6s
BlackBox (ubuntu-latest, 8.3, lowest)	48s
Psalm (8.2, highest)	24s
Coverage (ubuntu-latest, 8.3, highest)	4m 3s
BlackBox (ubuntu-latest, 8.3, highest)	54s
Psalm (8.3, lowest)	22s
Coverage (macOS-latest, 8.2, lowest)	4m 7s
BlackBox (macOS-latest, 8.2, lowest)	1m 41s
Psalm (8.3, highest)	21s
BlackBox (macOS-latest, 8.2, highest)	1m 47s
Coverage (macOS-latest, 8.2, highest)	3m 42s
BlackBox (macOS-latest, 8.3, lowest)	1m 43s
Coverage (macOS-latest, 8.3, lowest)	4m 9s
Coverage (macOS-latest, 8.3, highest)	4m 12s
BlackBox (macOS-latest, 8.3, highest)	1m 34s
	44m 3s

Provide feedback