From 8b8266c75240e2b87a5918f2d628b222c1dc1ae3 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sat, 26 Dec 2020 21:20:29 -0800
Subject: [PATCH] Forgot to build the compilation image

---
 tools/publish.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/publish.bash b/tools/publish.bash
index 46ad906..9901ff2 100755
--- a/tools/publish.bash
+++ b/tools/publish.bash
@@ -86,6 +86,7 @@ else
     make pull I=composite
 fi
 
+make pull image push I=compile
 make pull image push I=app
 
 sha="$(git describe --match=always-omit-tag --always --abbrev=40 --dirty)"