FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Add manual trigger to CI by 4ntn · Pull Request #85 · micro-ROS/micro-ROS-demos · GitHub

Add manual trigger to CI - #85

Merged
4ntn merged 1 commit into
kiltedfrom
ci_manual_trigger
Jun 11, 2025
Merged

4ntn merged 1 commit into
kiltedfrom
ci_manual_trigger

Add manual trigger to CI

10da631
Select commit
Loading
Failed to load commit list.
Mergify
Mergify / Summary succeeded Sep 10, 2026 in 3s

no workflow automation rules configured


💖  Mergify is proud to provide this service for free to open source projects.

🚀  You can help us by becoming a sponsor!


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

Loading

Re-running checks...


Back | FazBrowse Home | New Git URL