Skip to content

rename the compare worker/operation#261

Merged
grahamegrieve merged 2 commits into
mainfrom
2026-06-gg-compare-operation
Jun 16, 2026
Merged

rename the compare worker/operation#261
grahamegrieve merged 2 commits into
mainfrom
2026-06-gg-compare-operation

Conversation

@grahamegrieve

Copy link
Copy Markdown
Contributor

No description provided.

@grahamegrieve grahamegrieve merged commit 2efd03a into main Jun 16, 2026
6 of 7 checks passed
@grahamegrieve grahamegrieve deleted the 2026-06-gg-compare-operation branch June 16, 2026 06:23
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