diff --git a/.github/workflows/check-space.yml b/.github/workflows/check-space.yml new file mode 100644 index 00000000..c788bd46 --- /dev/null +++ b/.github/workflows/check-space.yml @@ -0,0 +1,44 @@ +# This is a basic workflow that is manually triggered + +name: Manual workflow + +# Controls when the action will run. Workflow runs when manually triggered using the UI +# or API. +on: + workflow_dispatch: + # Inputs the workflow accepts. + inputs: + name: + # Friendly description to be shown in the UI instead of 'name' + description: 'Person to greet' + # Default value if no value is explicitly provided + default: 'World' + # Input has to be provided for the workflow to run + required: true + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "greet" + greet: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + steps: + - name: Free before + run: | + echo "Free space:" + df -h + + - name: Maximize build space + uses: easimon/maximize-build-space@master + with: + root-reserve-mb: 512 + swap-size-mb: 1024 + remove-dotnet: 'true' + - name: Checkout + uses: actions/checkout@v2 + + - name: Free after + run: | + echo "Free space:" + df -h