Aaron HeckmannandGitHub e20bfa55d6 chore: add ci job names (#7478) ...

* chore: add ci job names

This makes them easier to find in the Github UI.

* chore: increase ci timeout

2025-07-25 13:41:03 +05:30

..

ISSUE_TEMPLATE

update assignes for github issue templates (#5053)

2024-07-05 14:30:37 +05:30

workflows

chore: add ci job names (#7478)

2025-07-25 13:41:03 +05:30

pull_request_template.md

fix: added github pull request template

2024-12-09 02:55:09 +05:30