build: proxy settings for build and devcontainer

[nbmaiti]

-> devcontainer go version updated to 1.25
-> devcontainer updated to include proxy settings
-> build script support proxy build

[Copilot]

Pull request overview

This PR adds proxy server support to both the build process and development container configuration, while also updating the development container's Go version from 1.x to 1.25.

• Proxy environment variables (HTTP_PROXY, HTTPS_PROXY, NO_PROXY) are now configured and passed to Docker builds
• Development container updated to Go 1.25 on Debian Trixie base image
• Proxy settings automatically inherited from host environment in devcontainer

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 4 comments.

File	Description
build.sh	Added proxy environment variable handling and passed build args to Docker
.devcontainer/devcontainer.json	Updated Go version to 1.25, added proxy environment configuration

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 39.65%. Comparing base (6204935) to head (3083204).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #724   +/-   ##
=======================================
  Coverage   39.65%   39.65%           
=======================================
  Files         109      109           
  Lines       10510    10510           
=======================================
  Hits         4168     4168           
  Misses       5993     5993           
  Partials      349      349           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Copilot]

Pull request overview

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.