Skip to content

Add workflow_dispatch trigger to CI workflow#4

Merged
joelmartinez merged 2 commits into
masterfrom
copilot/fix-3
Aug 8, 2025
Merged

Add workflow_dispatch trigger to CI workflow#4
joelmartinez merged 2 commits into
masterfrom
copilot/fix-3

Conversation

Copilot AI commented Aug 8, 2025

Copy link
Copy Markdown
Contributor

This PR adds the workflow_dispatch trigger to the CI workflow, enabling manual execution of the CI pipeline from the GitHub Actions UI.

Changes Made

  • Added workflow_dispatch: to the on: section of .github/workflows/ci.yml
  • Preserves all existing triggers (push and pull_request events)
  • No changes to job definitions or build/test processes

Benefits

  • Allows developers and maintainers to manually trigger CI runs for testing purposes
  • Useful for debugging workflow issues or running tests on-demand
  • Provides more flexibility in CI management without affecting automated triggers

The change is minimal and backward-compatible - all existing functionality remains unchanged while adding the new manual trigger capability.

Fixes #3.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI commented Aug 8, 2025

Copy link
Copy Markdown
Contributor Author

@joelmartinez 👋 This repository doesn't have Copilot instructions. With Copilot instructions, I can understand the repository better, work faster and produce higher quality PRs.

I can generate a .github/copilot-instructions.md file for you automatically. Click here to open a pre-filled issue and assign it to me. I'll write the instructions, and then tag you for review.

Co-authored-by: joelmartinez <90380+joelmartinez@users.noreply.github.com>
Copilot AI changed the title [WIP] Add workflow dispatch to ci Add workflow_dispatch trigger to CI workflow Aug 8, 2025
Copilot AI requested a review from joelmartinez August 8, 2025 11:38
@joelmartinez joelmartinez marked this pull request as ready for review August 8, 2025 11:46
@joelmartinez joelmartinez merged commit 30a2d6e into master Aug 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add workflow dispatch to ci

2 participants