Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Publish current action #106

Merged
merged 7 commits into from
Feb 18, 2024
Merged

Publish current action #106

merged 7 commits into from
Feb 18, 2024

Conversation

Flova
Copy link
Member

@Flova Flova commented Feb 18, 2024 •
edited
Loading

Summary

  • Publish the action when it changes
  • Improve downstream typing
  • Use ruff-format instead of black like in the main repo

Related issues

Closes bit-bots/bitbots_main#290

Checklist

  • Run colcon build
  • Write documentation
  • Create issues for future work
  • Test on your machine
  • Test on the robot
  • This PR is on our Software project board

@Flova Flova merged commit badc0bc into master Feb 18, 2024
1 check passed
@Flova Flova deleted the publish-current_action branch February 18, 2024 21:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jaagut jaagut jaagut approved these changes

@timonegk timonegk Awaiting requested review from timonegk

@texhnolyze texhnolyze Awaiting requested review from texhnolyze

@SammyRamone SammyRamone Awaiting requested review from SammyRamone

Assignees
No one assigned
Labels
None yet
Projects
Software
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Publish current action on a dedicated debug topic
2 participants
@Flova @jaagut