Skip to content

Fix conf, extend robot table - #1035

Merged
jgueldenstein merged 1 commit into
mainfrom
docs/fix_conf_add_robots
Aug 19, 2026
Merged

Fix conf, extend robot table#1035
jgueldenstein merged 1 commit into
mainfrom
docs/fix_conf_add_robots

Conversation

@MegaIng

@MegaIng MegaIng commented Aug 18, 2026

Copy link
Copy Markdown
Contributor

Summary

Proposed changes

Related issues

Checklist

  • Run pixi run build
  • Write documentation
  • Test on your machine
  • Test on the robot
  • Create issues for future work
  • Triage this PR and label it

@github-project-automation github-project-automation Bot moved this from 🆕 New to 👀 In review in Software Aug 19, 2026
@jgueldenstein
jgueldenstein merged commit 434fd23 into main Aug 19, 2026
3 checks passed
@jgueldenstein
jgueldenstein deleted the docs/fix_conf_add_robots branch August 19, 2026 06:04
@github-project-automation github-project-automation Bot moved this from 👀 In review to ✅ Done in Software Aug 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

2 participants