Skip to content

Remove stray objects.inv - #131

Merged
alexfikl merged 1 commit into
inducer:mainfrom
alexfikl:remove-objinv
Jul 30, 2025
Merged

Remove stray objects.inv#131
alexfikl merged 1 commit into
inducer:mainfrom
alexfikl:remove-objinv

Conversation

@alexfikl

Copy link
Copy Markdown
Collaborator

Managed to commit this in #130 🤦

I'll go ahead and merge it when the CI passes.

@alexfikl
alexfikl merged commit 21330d7 into inducer:main Jul 30, 2025
9 checks passed
@alexfikl
alexfikl deleted the remove-objinv branch July 30, 2025 07:00
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