Skip to content

Fix build warnings#1002

Merged
jaagut merged 1 commit into
mainfrom
fix/build
Jul 4, 2026
Merged

Fix build warnings#1002
jaagut merged 1 commit into
mainfrom
fix/build

Conversation

@jaagut

@jaagut jaagut commented Jul 4, 2026

Copy link
Copy Markdown
Member

This fixes the last remaining build fixes.

In a follow up PR I want to enable all + pedantic warnings as well as error on warning again ONLY IN CI.

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 to 🆕 New in Software Jul 4, 2026
@jaagut jaagut requested a review from Flova July 4, 2026 09:12
@jaagut jaagut moved this from 🆕 New to 👀 In review in Software Jul 4, 2026
@Flova

Flova commented Jul 4, 2026

Copy link
Copy Markdown
Member

Post WM 😅

@jaagut jaagut merged commit 5e84cf5 into main Jul 4, 2026
3 checks passed
@jaagut jaagut deleted the fix/build branch July 4, 2026 12:50
@github-project-automation github-project-automation Bot moved this from 👀 In review to ✅ Done in Software Jul 4, 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.

3 participants