Alexander A. Klimov 0e038a0916 Split GitHub actions
... to allow to re-run a minimum.
2021-07-26 17:38:33 +02:00
..
2021-07-26 17:38:33 +02:00