Skip to content

Conversation

@guyfleeman
Copy link
Contributor

  • adds robot names
  • fixes CI runner

@guyfleeman
Copy link
Contributor Author

Noooooo mating

@guyfleeman guyfleeman requested a review from joe-spall July 5, 2025 00:53
@guyfleeman guyfleeman self-assigned this Jul 5, 2025
@guyfleeman guyfleeman requested a review from barulicm July 5, 2025 00:56
@joe-spall joe-spall merged commit 7bd228a into main Jul 11, 2025
1 check passed
@joe-spall joe-spall deleted the dev/will/robot_names branch July 11, 2025 22:35
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.

4 participants