Skip to content

feat(runner): add --extra-mount option to runc.sh#3392

Merged
mkoura merged 1 commit intomasterfrom
add_extra_mounts
Apr 8, 2026
Merged

feat(runner): add --extra-mount option to runc.sh#3392
mkoura merged 1 commit intomasterfrom
add_extra_mounts

Conversation

@mkoura
Copy link
Copy Markdown
Collaborator

@mkoura mkoura commented Apr 7, 2026

Introduce the --extra-mount argument to allow users to specify additional volume mounts when running containers. This enhances flexibility for mounting custom paths into the container.

@mkoura mkoura requested a review from saratomaz as a code owner April 7, 2026 13:44
@mkoura mkoura requested a review from Copilot April 7, 2026 13:44
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Note

Copilot was unable to run its full agentic suite in this review.

Adds support for specifying additional volume mounts when running containers by introducing a new --extra-mount CLI option in runner/runc.sh.

Changes:

  • Introduces an EXTRA_MOUNTS array to accumulate user-provided mount flags.
  • Adds CLI parsing for --extra-mount (plus -- to end option parsing).
  • Removes a duplicate EXTRA_MOUNTS initialization later in the script.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@mkoura mkoura force-pushed the add_extra_mounts branch 2 times, most recently from 60eb789 to 93d467b Compare April 7, 2026 14:58
@mkoura mkoura requested a review from Copilot April 8, 2026 10:45
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 2 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Introduce the --extra-mount argument to allow users to specify additional volume mounts when running containers. This enhances flexibility for mounting custom paths into the container.
@mkoura mkoura force-pushed the add_extra_mounts branch from 93d467b to 8d247fb Compare April 8, 2026 11:19
@mkoura mkoura merged commit b56c14b into master Apr 8, 2026
1 check passed
@mkoura mkoura deleted the add_extra_mounts branch April 8, 2026 11:32
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.

2 participants