diff options
| author | Marie <marie@kaifa.ch> | 2023-10-11 21:49:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-11 21:49:54 +0200 |
| commit | d748e6cfbd9e13862f20f598b3625bc76e20b42f (patch) | |
| tree | a005162f5f42c0e5a708ac75d86d41ba2c19ab6e /.github/workflows | |
| parent | upd: move poll out of details (diff) | |
| download | sharkey-d748e6cfbd9e13862f20f598b3625bc76e20b42f.tar.gz sharkey-d748e6cfbd9e13862f20f598b3625bc76e20b42f.tar.bz2 sharkey-d748e6cfbd9e13862f20f598b3625bc76e20b42f.zip | |
ci: remove default folders that aren't needed to free up space
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/docker-develop.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/docker-develop.yml b/.github/workflows/docker-develop.yml index 62b3d58073..79b5cc1c69 100644 --- a/.github/workflows/docker-develop.yml +++ b/.github/workflows/docker-develop.yml @@ -21,6 +21,10 @@ jobs: contents: read packages: write steps: + - name: Remove unnecessary files + run: | + sudo rm -rf /usr/share/dotnet + sudo rm -rf "$AGENT_TOOLSDIRECTORY" - name: Check out the repo uses: actions/checkout@v4.1.0 - name: Set up Docker Buildx |