Skip to content

mc-rtc: fix wrapping of python utils - #91

Merged
mergify[bot] merged 1 commit into
mainfrom
fix-python-utils
Jul 23, 2026
Merged

mc-rtc: fix wrapping of python utils#91
mergify[bot] merged 1 commit into
mainfrom
fix-python-utils

Conversation

@arntanguy

@arntanguy arntanguy commented Jul 23, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Makes this work

nix shell .#mc-rtc -c mc_rtc_new_fsm_controller
nix shell .#mc-rtc -c mc_rtc_new_controller
nix shell .#mc-rtc -c mc_log_ui

TODO: proper python packages

@arntanguy

arntanguy commented Jul 23, 2026

Copy link
Copy Markdown
Contributor Author

@Mergifyio merge

@mergify

mergify Bot commented Jul 23, 2026

Copy link
Copy Markdown
Contributor

merge

❌ Sorry but I didn't understand the command. Please consult the commands documentation 📚.

@arntanguy

arntanguy commented Jul 23, 2026

Copy link
Copy Markdown
Contributor Author

@Mergifyio queue

@mergify

mergify Bot commented Jul 23, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Merge Queue Status

This pull request spent 1 hour 22 minutes 55 seconds in the queue, including 1 hour 22 minutes 32 seconds running CI.

Required conditions to merge
  • check-success = "check-macos-linux-nix"

@mergify mergify Bot added the queued label Jul 23, 2026
@mergify
mergify Bot merged commit 278a8d1 into main Jul 23, 2026
23 checks passed
@mergify
mergify Bot deleted the fix-python-utils branch July 23, 2026 23:18
@mergify mergify Bot removed the queued label Jul 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@arntanguy