Skip to content

Fixes CI.#145

Merged
francocipollone merged 1 commit intomainfrom
francocipollone/fix_ci
Jun 26, 2025
Merged

Fixes CI.#145
francocipollone merged 1 commit intomainfrom
francocipollone/fix_ci

Conversation

@francocipollone
Copy link
Collaborator

🦟 Bug fix

Related to maliput/maliput_infrastructure#322

Checklist

  • Signed all commits for DCO
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if it affects the public API)

Signed-off-by: Franco Cipollone <franco.c@ekumenlabs.com>
@github-project-automation github-project-automation bot moved this from 🆕 Inbox to 💪 Approved in Maliput - Core development Jun 26, 2025
@francocipollone francocipollone merged commit 3032973 into main Jun 26, 2025
3 checks passed
@francocipollone francocipollone deleted the francocipollone/fix_ci branch June 26, 2025 16:53
@github-project-automation github-project-automation bot moved this from 💪 Approved to ✅ Done in Maliput - Core development Jun 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants