Tinmarino cd5ef6c4c7 CI small change: add name to workflow to avoid the full path to display

2023-03-12 01:18:26 -03:00

..

workflows

CI small change: add name to workflow to avoid the full path to display

2023-03-12 01:18:26 -03:00

issue_template.md

housekeeping: update issue template for new workflow, add branch mirroring

2022-12-04 19:38:42 -07:00

pull_request_template.md

Use checkboxes for templates

2020-01-03 19:51:17 -07:00