action.yml

#
# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements.  See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership.  The ASF licenses this file
# to you under the Apache License, Version 2.0 (the
# "License"); you may not use this file except in compliance
# with the License.  You may obtain a copy of the License at
#
#   http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied.  See the License for the
# specific language governing permissions and limitations
# under the License.
#

name: clean disk
description: makes some more space available on the disk by removing files
inputs:
  mode:
    description: "Use 'full' to clean as much as possible"
    required: false
runs:
  using: composite
  steps:
    - run: |
        if [[ "$OSTYPE" == "linux-gnu"* ]]; then
          directories=(/usr/local/lib/android /opt/ghc)
          if [[ "${{ inputs.mode }}" == "full" ]]; then
            # remove these directories only when mode is 'full'
            directories+=(/usr/share/dotnet /opt/hostedtoolcache/CodeQL)
          fi
          emptydir=/tmp/empty$$/
          mkdir $emptydir
          echo "::group::Available diskspace"
          time df -BM / /mnt
          echo "::endgroup::"
          for directory in "${directories[@]}"; do
            echo "::group::Removing $directory"
            # fast way to delete a lot of files on linux
            time sudo eatmydata rsync -a --delete $emptydir ${directory}/
            time sudo eatmydata rm -rf ${directory}
            time df -BM / /mnt
            echo "::endgroup::"
          done
          echo "::group::Cleaning apt state"
          time sudo bash -c "apt-get clean; apt-get autoclean; apt-get -y --purge autoremove"
          time df -BM / /mnt
          echo "::endgroup::"
        fi
        echo "::group::Available diskspace"
        time df -BM / /mnt
        echo "::endgroup::"
      shell: bash