Initial skill dataset and progent test hooks #5

	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	jobs:
	lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- uses: astral-sh/setup-uv@v4
	- name: Install dependencies
	run: uv sync --extra dev
	- name: Ruff check
	run: uv run ruff check .
	- name: Ruff format check
	run: uv run ruff format --check .

	test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- uses: astral-sh/setup-uv@v4
	- name: Install dependencies
	run: uv sync --extra dev
	- name: Run tests
	run: uv run pytest tests/ -v --tb=short
	- name: Run live agent integration test
	if: env.OPENROUTER_API_KEY != ''
	continue-on-error: true
	env:
	OPENROUTER_API_KEY: ${{ secrets.OPENROUTER_API_KEY }}
	run: uv run pytest tests/test_agent_integration.py -v --tb=short -k "LiveOpenRouter"

	test-with-z3:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- uses: astral-sh/setup-uv@v4
	- name: Install dependencies
	run: uv sync --extra dev --extra analysis
	- name: Run analysis tests
	run: uv run pytest tests/test_progent/test_analysis.py -v --tb=short

Navigation Menu