From 8d466ad2d0013be402a2f7d0b0d1361ad492e65d Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Wed, 11 Sep 2024 21:56:10 -0500
Subject: [PATCH] Don't fail CI if the commit doesn't change the generated
 HTML.

Signed-off-by: Nathan Ringo <nathan@remexre.com>
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0f39e52..ce23fe2 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -48,5 +48,5 @@ jobs:
           cd UMN-Kernel-Object.github.io
           rm -rf docs/.buildinfo docs/_sources docs/.doctrees
           git add docs
-          git commit -m "Documentation Update `date`"
+          git commit --allow-empty -m "Documentation Update `date`"
           git push origin main