Peter Hartmann 93fdaf79e6 CI: Kill tasks forcefully on Windows ... Otherwise we get the following error: ERROR: The process with PID 5192 (child process of PID 1372) could not be terminated. Reason: This process can only be terminated forcefully (with /F option).		2023-04-13 07:00:14 +02:00
..
cmake.yml	CI: Kill tasks forcefully on Windows	2023-04-13 07:00:14 +02:00