Skip to content

Clerk: list targets on clerk build without target#765

Merged
denismerigoux merged 1 commit intomasterfrom
targetlist
Jan 8, 2025
Merged

Clerk: list targets on clerk build without target#765
denismerigoux merged 1 commit intomasterfrom
targetlist

Conversation

@AltGr
Copy link
Contributor

@AltGr AltGr commented Jan 7, 2025

This is a partial quickfix for #699; at least, this would be usable for shell completion after clerk build

This is a partial quickfix for #699; at least, this would be usable for shell
completion after `clerk build`
@denismerigoux denismerigoux merged commit ebb901d into master Jan 8, 2025
5 checks passed
@denismerigoux denismerigoux deleted the targetlist branch January 8, 2025 09:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants