Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
0997-gh-Prune-docker-to-get-more-disk-space.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0997-gh-Prune-docker-to-get-more-disk-space.patch of Package erlang
From 87239f9dfb4b1337701cffae88b6e32e55e0da6a Mon Sep 17 00:00:00 2001 From: Lukas Larsson <lukas@erlang.org> Date: Wed, 28 Feb 2024 12:27:13 +0100 Subject: [PATCH 2/2] gh: Prune docker to get more disk space --- .github/actions/build-base-image/action.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/actions/build-base-image/action.yaml b/.github/actions/build-base-image/action.yaml index 1e5d3c83e7..e8c6aeefa1 100644 --- a/.github/actions/build-base-image/action.yaml +++ b/.github/actions/build-base-image/action.yaml @@ -24,6 +24,8 @@ runs: sudo rm -rf /opt/ghc sudo rm -rf "/usr/local/share/boost" sudo rm -rf "$AGENT_TOOLSDIRECTORY" + docker system prune -a -f + df -h - name: Cache BASE image uses: actions/cache@v3 -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
