julia
allow specifying projects in a workspace more than one level under it
#59849
Merged

allow specifying projects in a workspace more than one level under it #59849

KristofferC merged 1 commit into master from kc/workspace_multiple
KristofferC
KristofferC KristofferC added packages
KristofferC KristofferC marked this pull request as draft 246 days ago
KristofferC KristofferC force pushed from 2f26f641 to ac4c5538 246 days ago
KristofferC
KristofferC KristofferC force pushed from 6dc1b7b1 to 4d5b58fc 246 days ago
rfourquet
rfourquet commented on 2025-10-16
vtjnash
vtjnash commented on 2025-10-16
KristofferC allow specifying projects in a workspace more than one level under it
16fa7a43
KristofferC KristofferC force pushed from 4d5b58fc to 16fa7a43 245 days ago
KristofferC KristofferC added backport 1.12
KristofferC KristofferC marked this pull request as ready for review 245 days ago
KristofferC KristofferC merged b26e7ccb into master 245 days ago
KristofferC KristofferC deleted the kc/workspace_multiple branch 245 days ago
KristofferC KristofferC removed backport 1.12

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone