wip

Author: rui314

.github/workflows/build-all.yml

@@ -10,6 +10,7 @@ on:
 jobs:
   build-tarballs:
     strategy:
+      fail-fast: false
       matrix:
         include:
           - { target: x86_64,  os: ubuntu-24.04 }
@@ -29,11 +30,11 @@ jobs:
     - name: Checkout Repository
       uses: actions/checkout@v4
 
-    - name: Install Podman
-      run: sudo apt-get update && sudo apt-get install -y podman
+    - name: Set up Docker Buildx
+      uses: docker/setup-buildx-action@v3
 
     - name: Login to GitHub Container Registry
-      uses: redhat-actions/podman-login@v1
+      uses: docker/login-action@v1
       with:
         registry: ghcr.io
         username: ${{ github.repository_owner }}

dist.sh

@@ -64,11 +64,13 @@ esac
 if [ "$GITHUB_REPOSITORY" = '' ]; then
   image=mold-builder-$arch
   image_build="podman build --arch $arch -t $image -"
+  image_run="podman run --userns=host --pids-limit=-1"
 else
   # If this script is running on GitHub Actions, we want to cache
   # the created container image in GitHub's container repostiory.
   image=ghcr.io/$GITHUB_REPOSITORY/mold-builder-$arch
-  image_build="podman build --arch $arch -t $image --output=type=registry --layers --cache-to $image --cache-from $image -"
+  image_build="docker build --arch $arch -t $image --output=type=registry --layers --cache-to $image --cache-from $image -"
+  image_run="docker run"
 fi
 
 case $arch in
@@ -200,8 +202,8 @@ timestamp="$(git log -1 --format=%ci)"
 # Build mold in a container.
 mkdir -p dist
 
-podman run --arch $arch -it --rm --userns=host --pids-limit=-1 \
-  -v "$(pwd):/mold:ro" -v "$(pwd)/dist:/dist" $image bash -c "
+$image_run --arch $arch -it --rm -v "$(pwd):/mold:ro" -v "$(pwd)/dist:/dist" \
+  $image bash -c "
 set -e
 mkdir /build
 cd /build