Commit graph

4 commits

Author SHA1 Message Date
Christopher Willis-Ford
931794d116 ci: run CI/CD workflow if TX Pull makes changes 2023-11-15 14:22:36 -08:00
Christopher Willis-Ford
4277c674f3 ci: simplify workflow triggers for push vs. PR
The CI/CD workflow will now run on any push, including one that will
later be used for a PR. This means running on `pull_request` is no
longer necessary, nor is filtering by branch.
2023-11-15 14:19:15 -08:00
Maxim Schram
3e750062ea ci: split single workflow into scheduled and non-scheduled 2023-10-20 10:44:58 -04:00
Maxim Schram
b1247edd94 ci: cci to gha migration 2023-10-18 16:00:09 -04:00