Skip to content

Set build-mount-path to /home/runner#15371

Merged
jamesfredley merged 1 commit into7.0.xfrom
ci/publish-docs-workflow
Feb 1, 2026
Merged

Set build-mount-path to /home/runner#15371
jamesfredley merged 1 commit into7.0.xfrom
ci/publish-docs-workflow

Conversation

@jamesfredley
Copy link
Contributor

Add the build-mount-path input to the workflow runner configuration, setting it to '/home/runner'. This explicitly defines the mount path for build operations on the runner environment, helping ensure consistent workspace paths during the docs publish job.

Add the build-mount-path input to the workflow runner configuration, setting it to '/home/runner'. This explicitly defines the mount path for build operations on the runner environment, helping ensure consistent workspace paths during the docs publish job.
Copilot AI review requested due to automatic review settings February 1, 2026 03:06
@jamesfredley jamesfredley self-assigned this Feb 1, 2026
@jamesfredley jamesfredley merged commit 45df475 into 7.0.x Feb 1, 2026
29 checks passed
@jamesfredley jamesfredley deleted the ci/publish-docs-workflow branch February 1, 2026 03:07
Copy link
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

This PR updates the docs publish workflow to explicitly set the build mount path for the easimon/maximize-build-space action, ensuring a consistent workspace location on the GitHub-hosted runner.

Changes:

  • Adds build-mount-path: '/home/runner' to the ⚙️ Maximize build space step in .github/workflows/publish-docs.yml.

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants