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

..

workflows

CI: Kill tasks forcefully on Windows

2023-04-13 07:00:14 +02:00