root 013acdf22b change the runners so they don't run on every push

2024-07-16 10:50:00 +02:00

..

workflows

change the runners so they don't run on every push

2024-07-16 10:50:00 +02:00