From 7354994fd77631038d11dd0d63b4b818c108154b Mon Sep 17 00:00:00 2001
From: James Smith <james@floppy.org.uk>
Date: Mon, 4 Mar 2024 09:05:20 +0000
Subject: [PATCH] do a docker build for PRs

Now that it's faster with depot, we can do this to make sure everything builds OK before merge.
---
 .github/workflows/docker.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index d4d1d6416..6eaccfd9b 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,6 +1,7 @@
 name: Docker
 
 on:
+  pull_request:
   push:
     tags:
       - v*