Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix "No space left on device" in build job #482

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Fix "No space left on device" in build job #482

wants to merge 1 commit into from

Commits on Oct 11, 2024

  1. Fix "No space left on device" in build job 

    - Add "Maximize Build Space" step to Build job, to prevent
  `System.IO.IOException: No space left on device`. (It was
  already in the Inspect code and Verify plugin jobs.)
- Also add it to the Test job, assuming that will start running
  out of space soon too.
- Pin jlumbroso/free-disk-space action to particular version
  to avoid unexpected workflow behavior changes.
    @medmunds
    medmunds authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    85a2343 View commit details
    Browse the repository at this point in the history