Jörg Thalheim c94ba404fd don't build hydra twice in a pull request + enable merge queue

2025-04-07 18:57:32 +02:00

..

ISSUE_TEMPLATE

Update bug_report.md

2022-01-24 20:36:08 -05:00

workflows

don't build hydra twice in a pull request + enable merge queue

2025-04-07 18:57:32 +02:00

dependabot.yml

automatically update github actions

2020-06-30 08:34:01 +01:00