Skip to content

ci: add workflow_dispatch to the verify workflow - #6

Merged
T-Crypt merged 1 commit into
mainfrom
ci/manual-trigger
Oct 5, 2026
Merged

T-Crypt merged 1 commit into
mainfrom
ci/manual-trigger

Conversation

@T-Crypt

@T-Crypt T-Crypt commented Oct 5, 2026

Copy link
Copy Markdown
Owner

Adds workflow_dispatch to the verify workflow.

The merged workflow fires on push to main and on pull requests. A run that never gets a runner cannot be re-run without another commit, so a manual run button is the only way to retry one.

This PR also carries the first green check for the two Windows backend fixes that merged in PR #5: EnumProcesses comes from psapi, and the LARGE_INTEGER accessor is .value. Those merged without a completed run. Run 37365389465 failed on the windows job, and run 37366528677 on the fix commit never got a runner. The run for this PR executes the collector suite on both Linux and Windows, so it verifies both fixes.

A run that never gets a runner cannot be re-run without another commit. The
manual trigger gives a run button.
@T-Crypt
T-Crypt merged commit 329f028 into main Oct 5, 2026
0 of 2 checks passed
@T-Crypt
T-Crypt deleted the ci/manual-trigger branch October 5, 2026 20:09
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.

1 participant