Skip to content

Make deps directory optional for images#130

Merged
ianpittwood merged 7 commits intomainfrom
optional-deps-dir
Mar 26, 2025
Merged

Make deps directory optional for images#130
ianpittwood merged 7 commits intomainfrom
optional-deps-dir

Conversation

@ianpittwood
Copy link
Contributor

Fixes #129

  • Allow resolution of the deps directory to be disabled by setting it to false in the manifest.toml.
  • Exclude mounting options of deps in dgoss commands if it is unset.

@ianpittwood ianpittwood requested a review from bschwedler as a code owner March 24, 2025 18:01
@github-actions
Copy link

github-actions bot commented Mar 24, 2025

Test Results

308 tests   306 ✅  1m 9s ⏱️
  1 suites    2 💤
  1 files      0 ❌

Results for commit 2d4aa5f.

♻️ This comment has been updated with latest results.

ianpittwood and others added 2 commits March 25, 2025 14:41
Co-authored-by: Benjamin R. J. Schwedler <bschwedler@gmail.com>
@ianpittwood ianpittwood merged commit 11e78f1 into main Mar 26, 2025
3 checks passed
@ianpittwood ianpittwood deleted the optional-deps-dir branch March 26, 2025 14:39
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.

Change deps directory to not be required

2 participants