Skip to content

Error on unknown dependency object specifiers#12841

Merged
zanieb merged 1 commit intorelease/070from
gankra/re-obj
Apr 11, 2025
Merged

Error on unknown dependency object specifiers#12841
zanieb merged 1 commit intorelease/070from
gankra/re-obj

Conversation

@Gankra
Copy link
Contributor

@Gankra Gankra commented Apr 11, 2025

This reverts commit dd788a0.

And relands #12811, for 0.7.0

@Gankra Gankra added the internal A refactor or improvement that is not user-facing label Apr 11, 2025
@Gankra Gankra added this to the v0.7.0 milestone Apr 11, 2025
@zanieb zanieb changed the base branch from main to release/070 April 11, 2025 19:50
@zanieb zanieb changed the title Revert "Revert "feat: Error on dependency object specifier (#12811)" (#12840)" Error on unknown dependency object specifiers Apr 11, 2025
@zanieb zanieb merged commit ddf5139 into release/070 Apr 11, 2025
77 checks passed
@zanieb zanieb deleted the gankra/re-obj branch April 11, 2025 19:52
zanieb pushed a commit that referenced this pull request Apr 18, 2025
This reverts commit dd788a0.

And relands #12811, for 0.7.0
Gankra added a commit that referenced this pull request Apr 24, 2025
This reverts commit dd788a0.

And relands #12811, for 0.7.0
zanieb pushed a commit that referenced this pull request Apr 29, 2025
This reverts commit dd788a0.

And relands #12811, for 0.7.0
zanieb pushed a commit that referenced this pull request Apr 29, 2025
This reverts commit dd788a0.

And relands #12811, for 0.7.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants