Tinmarino acff8a5b1d Check: Change .travis CI to GitHub Actions CI (GHA)

2023-03-10 13:55:18 -03:00

..

workflows

Check: Change .travis CI to GitHub Actions CI (GHA)

2023-03-10 13:55:18 -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