Christoph Reiter 6c8879d86d CI: only one generate-srcinfo job at any time ...

To make sure the last one uploads last

2021-04-21 21:54:42 +02:00

..

ISSUE_TEMPLATE

bug_report.md: clean up a bit, remove bug label

2020-10-28 19:47:50 +01:00

workflows

CI: only one generate-srcinfo job at any time

2021-04-21 21:54:42 +02:00