Fini Jastrow 110d19853c CI: Reduce running time ...

[why]
The CI runs takes hours... 4 to 5?

[how]
With the recent changes we can half the number of patcher runs, because
we can create a normal and a Windows Compatible font version from one
patching process.

The export is done twice still (just the actual patching is avoided),
so the reduction will be less. But still!

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

2022-09-01 12:15:00 +02:00

..

scripts

CI: Reduce running time

2022-09-01 12:15:00 +02:00