Skip to content

Fix diagram bug#68

Merged
Synicix merged 2 commits intonauticalab:devfrom
guzman-raphael:fix-diagram
Apr 2, 2025
Merged

Fix diagram bug#68
Synicix merged 2 commits intonauticalab:devfrom
guzman-raphael:fix-diagram

Conversation

@guzman-raphael
Copy link
Contributor

This PR addresses the following:

  • Manually separate error logs to stderr on diagram docs utility due to bug
  • Add diagram docs utility to GPU DevContainer
  • Set Codespaces minimum resources config but let DevContainer consume all available by default
  • Bump rust edition
  • Fix format discrepancies due to edition update

…to bug, add diagram docs utility to GPU DevContainer, set Codespaces minimum resources config but let DevContainer consume all available by default, bump rust edition, and fix format discrepancies due to edition update.
Copy link
Contributor

@Synicix Synicix left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aside from the question of just removing the comment. All changes look pretty straight forward and simple.

@guzman-raphael guzman-raphael requested a review from Synicix April 2, 2025 13:34
@Synicix Synicix merged commit faf1014 into nauticalab:dev Apr 2, 2025
1 check passed
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.

2 participants