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.67%. Comparing base (2b6200d) to head (547655e).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #724   +/-   ##
=======================================
  Coverage   39.67%   39.67%           
=======================================
  Files         112      112           
  Lines       10657    10657           
=======================================
  Hits         4228     4228           
  Misses       6047     6047           
  Partials      382      382           

☔ 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.