Skip to content

Add GitHub Actions summary renderer#5

Merged
johnmikel merged 1 commit into
mainfrom
feature/github-summary-renderer
Jun 29, 2026
Merged

Add GitHub Actions summary renderer#5
johnmikel merged 1 commit into
mainfrom
feature/github-summary-renderer

Conversation

@johnmikel

Copy link
Copy Markdown
Owner

Summary

  • Add a GitHub Actions Markdown summary renderer for contract run results.
  • Add metricspec run --github-summary to append output to $GITHUB_STEP_SUMMARY.
  • Document the flag in the GitHub Actions CI example.

Closes #3.

Verification

  • uv run ruff check .
  • uv run mypy src
  • uv run pytest
  • uv run python -m build
  • uv run twine check dist/*

@johnmikel johnmikel enabled auto-merge (squash) June 29, 2026 10:54
@johnmikel johnmikel merged commit 5a6043f into main Jun 29, 2026
1 check passed
@johnmikel johnmikel deleted the feature/github-summary-renderer branch June 29, 2026 11:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add a GitHub Actions summary renderer

1 participant