Kelvin M. Klann e796ba1349 ci: allow running workflows manually ... Add `on.workflow_dispatch`. See: * https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#onworkflow_dispatch * https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch		2023-09-26 12:24:14 -03:00
..
build-extra.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00
build.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00
check-c.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00
check-profiles.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00
check-python.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00
codespell.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00
test.yml	ci: allow running workflows manually	2023-09-26 12:24:14 -03:00