Mateusz Pusz e07eb14805 ci: elements in the CI reordered to get a better ordering of jobs in the web interface

2023-10-17 09:41:40 +02:00

..

workflows

ci: elements in the CI reordered to get a better ordering of jobs in the web interface

2023-10-17 09:41:40 +02:00