Skip to content

Update object path in coverage script.#149

Merged
derobins merged 1 commit into
developfrom
users/jpatters/update-coverage-script
Jan 6, 2026
Merged

Update object path in coverage script.#149
derobins merged 1 commit into
developfrom
users/jpatters/update-coverage-script

Conversation

@jordan-turbofish

Copy link
Copy Markdown
Collaborator

Got missed in the rocfile removal.

@derobins
derobins merged commit ba74701 into develop Jan 6, 2026
32 checks passed
@derobins
derobins deleted the users/jpatters/update-coverage-script branch January 6, 2026 19:20
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.

2 participants