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

2025-04-09 11:31:47 -04: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-09 11:31:47 -04:00

dependabot.yml

automatically update github actions

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