Skip to content

Update devcontainer settings, add oft binary #254

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
May 12, 2025
Merged

Update devcontainer settings, add oft binary #254

merged 1 commit into from
May 12, 2025

Conversation

@AnotherDaniel
Copy link
Contributor

@AnotherDaniel AnotherDaniel commented May 8, 2025 •
edited
Loading

Mini devcontainer improvements:

  • fix/update rust analyser configuration
  • update some VSCode extensions
  • install openfasttrace

@AnotherDaniel AnotherDaniel requested a review from sophokles73 May 8, 2025 14:52
@AnotherDaniel AnotherDaniel self-assigned this May 8, 2025
@AnotherDaniel AnotherDaniel added the enhancement New feature or request label May 8, 2025
sophokles73
sophokles73 reviewed May 12, 2025
View reviewed changes
sophokles73
sophokles73 approved these changes May 12, 2025
View reviewed changes
Copy link
Contributor

@sophokles73 sophokles73 left a comment

Choose a reason for hiding this comment

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

LGTM

@AnotherDaniel AnotherDaniel merged commit ddc4c12 into main May 12, 2025
1 check passed
@AnotherDaniel AnotherDaniel deleted the oft_devcontainer branch May 12, 2025 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@sophokles73 sophokles73 sophokles73 approved these changes

Assignees

@AnotherDaniel AnotherDaniel

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@AnotherDaniel @sophokles73