From 68c827609ada4b3a12fba8e8d259ae3d27fca3a8 Mon Sep 17 00:00:00 2001
From: iphydf <iphydf@users.noreply.github.com>
Date: Mon, 18 Dec 2023 16:42:00 +0000
Subject: [PATCH] chore: Move s390x build to post-merge.

It takes 15+ minutes and will very rarely fail, so it's not worth
blocking PRs on it.
---
 .github/workflows/ci.yml          | 10 ----------
 .github/workflows/post-submit.yml | 16 ++++++++++++++++
 2 files changed, 16 insertions(+), 10 deletions(-)
 create mode 100644 .github/workflows/post-submit.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2266f2cd..1fe12fb7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -90,16 +90,6 @@ jobs:
         with:
           file: other/docker/compcert/Dockerfile
 
-  build-alpine-s390x:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v1
-      - name: Docker Build
-        uses: docker/build-push-action@v2
-        with:
-          file: other/docker/alpine-s390x/Dockerfile
-
   cimplefmt:
     runs-on: ubuntu-latest
     steps:
diff --git a/.github/workflows/post-submit.yml b/.github/workflows/post-submit.yml
new file mode 100644
index 00000000..56895a6a
--- /dev/null
+++ b/.github/workflows/post-submit.yml
@@ -0,0 +1,16 @@
+name: post-submit
+
+on:
+  push:
+    branches: [master]
+
+jobs:
+  build-alpine-s390x:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v1
+      - name: Docker Build
+        uses: docker/build-push-action@v2
+        with:
+          file: other/docker/alpine-s390x/Dockerfile