Skip to content

Fix coverage badge#16

Merged
santif merged 2 commits intodevelopfrom
codex/fix-broken-coverage-badge
Jun 20, 2025
Merged

Fix coverage badge#16
santif merged 2 commits intodevelopfrom
codex/fix-broken-coverage-badge

Conversation

@santif
Copy link
Owner

@santif santif commented Jun 20, 2025

Summary

  • generate a coverage.svg badge so the README shows coverage
  • stop ignoring coverage.svg

Testing

  • mix test (fails: dependency fetch blocked)

https://chatgpt.com/codex/tasks/task_e_6854a8d1180c8324a5beee7684d42a0f

@santif santif merged commit da5f8fa into develop Jun 20, 2025
1 check passed
santif added a commit that referenced this pull request Jun 20, 2025
@santif santif deleted the codex/fix-broken-coverage-badge branch June 20, 2025 00:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments