chore: bumped version to v3.7.5 for official release #15

	name: Publish to PyPI

	on:
	push:
	tags:
	- 'v' # Push events to matching v, i.e. v1.0, v20.15.10

	jobs:
	build-n-publish:
	name: Build and publish Python 🐍 distributions 📦 to PyPI
	runs-on: ubuntu-latest
	environment:
	name: pypi
	url: https://pypi.org/p/devagent-cli
	permissions:
	id-token: write
	contents: write

	steps:
	- uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.11"

	- name: Install build dependencies
	run: python -m pip install build

	- name: Build distributions
	run: python -m build

	- name: Publish package distributions to PyPI
	uses: pypa/gh-action-pypi-publish@release/v1
	with:
	print-hash: true
	skip-existing: true
	attestations: false

	- name: Create GitHub Release
	uses: softprops/action-gh-release@v2
	with:
	generate_release_notes: true
	body: \|
	## DevAgent v3.3.1 — High-Integrity Hardening 🛡️

	This release transforms DevAgent into a robust, research-grade developer infrastructure.

	### Key Upgrades:
	- Hierarchical Retrieval: New `get_file_map` tool and windowed `read_file` support for large-file navigation.
	- Synthetic Verifier Layer: Automated linting integrated into the fix/review loop for better diagnostic grounding.
	- Empirical Validation: Established a public benchmark layer documented in `docs/benchmarks.md`.
	- Safety First: Reinforced sandbox isolation and 100% local operation via Ollama.
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Navigation Menu