Skip to content

Test coverage improvement august 14 metrics#52

Merged
dsyme merged 2 commits intomainfrom
test-coverage-improvement-august-14-metrics
Aug 14, 2025
Merged

Test coverage improvement august 14 metrics#52
dsyme merged 2 commits intomainfrom
test-coverage-improvement-august-14-metrics

Conversation

@dsyme
Copy link
Contributor

@dsyme dsyme commented Aug 14, 2025

@dsyme dsyme force-pushed the test-coverage-improvement-august-14-metrics branch from 7102f5a to 4a2bb01 Compare August 14, 2025 10:54
@dsyme dsyme force-pushed the test-coverage-improvement-august-14-metrics branch from 4a2bb01 to 5a080bc Compare August 14, 2025 10:56
@dsyme dsyme merged commit c544746 into main Aug 14, 2025
6 checks passed
@dsyme dsyme deleted the test-coverage-improvement-august-14-metrics branch August 14, 2025 11:18
pelikhan added a commit that referenced this pull request Sep 4, 2025
* Remove GITHUB_TOKEN usage from format-and-commit workflow

* Fix add_reaction job to exclude forked repository pull requests (#52)

* Initial plan

* Fix add_reaction job to not run on forked repository PRs

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Co-authored-by: Peli de Halleux <pelikhan@users.noreply.github.com>

---------

Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
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.

1 participant