ci: further split jobs to improve log browsing experience

.github/workflows/packages.yml

@@ -30,7 +30,7 @@ jobs:
       uses: actions/checkout@v2
       with:
         fetch-depth: 1000
-    - name: Build
+    - name: Gather build summary
       run: |
         if [ "${{ github.event_name }}" != "workflow_dispatch" ]; then
           BASE_COMMIT=$(jq --raw-output .pull_request.base.sha "$GITHUB_EVENT_PATH")
@@ -126,6 +126,8 @@ jobs:
           mv ./deleted_packages.txt.tmp ./deleted_packages.txt
         fi
 
+    - name: Free additional disk space (if necessary)
+      run: |
         if grep -qP '^rust$' ./built_packages.txt ; then
           echo "Free additional disk space on host"
           sudo apt purge -yq $(dpkg -l | grep '^ii' | awk '{ print $2 }' | grep -P '(cabal-|dotnet-|ghc-|libmono|php)') \
@@ -134,6 +136,8 @@ jobs:
           sudo rm -rf /opt/hostedtoolcache /usr/local /usr/share/dotnet /usr/share/swift
         fi
 
+    - name: Build
+      run: |
         if [ -f ./built_packages.txt ]; then
           ./scripts/lint-packages.sh $(cat ./built_packages.txt | awk '{print "packages/"$1"/build.sh"}')
           ./scripts/run-docker.sh ./build-package.sh -I -a ${{ matrix.target_arch }} $(cat ./built_packages.txt)