Skip to content

Add workflow_dispatch trigger to CI workflow#77

Merged
jll63 merged 2 commits into
developfrom
copilot/enable-manual-trigger-ci
Jun 14, 2026
Merged

Add workflow_dispatch trigger to CI workflow#77
jll63 merged 2 commits into
developfrom
copilot/enable-manual-trigger-ci

Conversation

Copilot AI commented Jun 14, 2026

Copy link
Copy Markdown
Contributor

The CI workflow only had pull_request and push triggers, so GitHub never showed the Run workflow button, making it impossible to manually trigger CI from the Actions UI.

Adds workflow_dispatch: to the on: block in .github/workflows/ci.yml:

on:
  workflow_dispatch:
  pull_request:
  push:
    branches: ...

All existing triggers, branch filters, and paths-ignore settings are unchanged.

Copilot AI changed the title [WIP] Add workflow_dispatch trigger to CI workflow Add workflow_dispatch trigger to CI workflow Jun 14, 2026
Copilot finished work on behalf of jll63 June 14, 2026 14:03
Copilot AI requested a review from jll63 June 14, 2026 14:03
@cppalliance-bot

Copy link
Copy Markdown

An automated preview of the documentation is available at https://77.openmethod.prtest3.cppalliance.org/libs/openmethod/doc/html/index.html

If more commits are pushed to the pull request, the docs will rebuild at the same URL.

2026-06-14 14:05:54 UTC

@jll63 jll63 marked this pull request as ready for review June 14, 2026 14:36
@jll63 jll63 merged commit 79b6f7f into develop Jun 14, 2026
55 of 56 checks passed
@jll63 jll63 deleted the copilot/enable-manual-trigger-ci branch June 14, 2026 14:36
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.

3 participants