Oliver Klee b8cf63d358 [BUGFIX] Use the PHP version from the matrix in the CI (#48) ... For GitHub actions, an explicit step is required to use a specific PHP version. If this is not done, a default version will be used (which makes the builds unpredictable).		2020-05-22 11:38:45 +02:00
..
workflows	[BUGFIX] Use the PHP version from the matrix in the CI (#48)	2020-05-22 11:38:45 +02:00