drgn/.github
Omar Sandoval 3bd0c37177 CI: combine Main Branch Push CI back into CI workflow
The CI status badge is inaccurate since commit e9141fa396 ("ci: reduce
usage and add Python 3.12 beta") because the "real" CI on the main
branch got moved to a new workflow and the existing one became a
reusable workflow_call/workflow_dispatch. Combine the push workflow back
into the reusable workflow.

Signed-off-by: Omar Sandoval <osandov@osandov.com>
2023-08-18 10:18:04 -07:00
..
workflows CI: combine Main Branch Push CI back into CI workflow 2023-08-18 10:18:04 -07:00