From ac78bf8760f1fbc27756f81b84433cef9682104b Mon Sep 17 00:00:00 2001
From: Martin Costello <martin@martincostello.com>
Date: Thu, 9 Nov 2023 19:13:14 +0000
Subject: [PATCH] Disable GitHub publishing

It appears we've used up a quota for GitHub packages. Disable for now to fix CI.
---
 .github/workflows/build.yml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6f471e953a..88e2341b3c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -137,10 +137,11 @@ jobs:
     permissions:
       packages: write
     runs-on: ubuntu-latest
-    if: |
-      github.event.repository.fork == false &&
-      (github.ref_name == github.event.repository.default_branch ||
-       startsWith(github.ref, 'refs/tags/'))
+    if: false # Temporarily disabled
+    #if: |
+    #  github.event.repository.fork == false &&
+    #  (github.ref_name == github.event.repository.default_branch ||
+    #   startsWith(github.ref, 'refs/tags/'))
     steps:
 
     - name: Download packages