Skip to content

ci: allow manual dispatch of the CI workflow - #26

Merged
devin-ai-integration[bot] merged 1 commit into
masterfrom
devin/1791519730-ci-workflow-dispatch
Oct 9, 2026
Merged

devin-ai-integration[bot] merged 1 commit into
masterfrom
devin/1791519730-ci-workflow-dispatch

Conversation

@kwent

@kwent kwent commented Oct 9, 2026 •

Copy link
Copy Markdown
Member

Summary

Merging #25 (7a50f69) didn't start the push-triggered CI or Integration Tests workflows on master, and no check suites were created for that commit from any app (Actions, Blacksmith, CodeFlow, Entire). The previous push to master (9cdf5b0) got suites from all of them. So GitHub most likely never delivered that push event, not a workflow config problem. The merge API call also errored on the first attempt and returned "Merge already in progress" on the retry, which points the same way.

Integration Tests can already be run manually (workflow_dispatch), but CI can't, so a missed push can only be recovered by pushing another commit. This adds workflow_dispatch to ci.yaml:

 on:
   push:
     branches: [master, main]
   pull_request:
+  workflow_dispatch:

Merging this PR also pushes to master, which starts CI and Integration Tests there. That is the first master run of the new owner_team integration step.

Risk: low (CI trigger only, no shipped code).

Link to Devin session: https://rootly.devinenterprise.com/sessions/ba7eaa797c98438bb7166d6f8a275fbd
Open in Devin Desktop: https://rootly.devinenterprise.com/desktop/session/ba7eaa797c98438bb7166d6f8a275fbd?variant=devin
Requested by: @kwent


Devin Review

Co-Authored-By: Quentin Rousseau <quentin@rootly.com>
@devin-ai-integration

Copy link
Copy Markdown
Contributor

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

Devin Review

@devin-ai-integration
devin-ai-integration Bot merged commit 6c3597e into master Oct 9, 2026
5 checks passed
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