Skip to content

Implement Docs Updates and VS extension upgrase#1031

Merged
Timi16 merged 4 commits into
Timi16:mainfrom
codebestia:feat/drips-pr
Apr 26, 2026
Merged

Implement Docs Updates and VS extension upgrase#1031
Timi16 merged 4 commits into
Timi16:mainfrom
codebestia:feat/drips-pr

Conversation

@codebestia
Copy link
Copy Markdown
Contributor

Description

This PR addresses several roadmap items related to documentation and enhances the VS Code extension by adding first-class support for attaching to a remote soroban-debug server.

Documentation Improvements (Resolves I-044, I-045, I-052)

  • CI Remote Debugging (I-052): Added a new tutorial (docs/tutorials/ci-remote-debugging.md) demonstrating how to run the soroban-debug server in CI environments securely, using environment-injected tokens and proper teardown mechanisms.
  • Budget Trend & Regressions (I-045): Updated docs/tutorials/understanding-budget.md to cover the --budget-trend flag and explain history-based regression detection.
  • Symbolic Analysis Interpretation (I-044): Added dedicated sections to docs/tutorials/symbolic-analysis-budgets.md detailing how to interpret the symbolic exploration report and providing actionable steps to reproduce and patch identified vulnerabilities.
  • Backlog Tracking: Updated docs/issues/backlog-100-issues.md and docs/issues/roadmap-priorities.md to strike through the completed items.

VS Code Extension: Remote Attach Configuration

  • First-Class Attach Support: The extension now natively handles request: "attach" configurations in launch.json.
  • Configuration Resolution (extension.ts): Updated the config resolver to properly populate default values and correctly skip server spawning when in attach mode.
  • Preflight Validation (debuggerProcess.ts): Adjusted the preflight validator to skip checking for a local CLI binary path when spawnServer is disabled, allowing clean validation of remote configurations.

Related Issues

Closes #533
Closes #955
Closes #956
Closes #962

@drips-wave
Copy link
Copy Markdown

drips-wave Bot commented Apr 26, 2026

@codebestia Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits

@Timi16 Timi16 merged commit 535e6ae into Timi16:main Apr 26, 2026
6 of 8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment