From 47fb56476a2c54e0c10448f007ef2abce0092958 Mon Sep 17 00:00:00 2001
From: Guillaume Lemaitre <guillaume@probabl.ai>
Date: Tue, 25 Jun 2024 17:12:32 +0200
Subject: [PATCH] FIX use develop instead of main

---
 .github/workflows/gh-publish-web.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-publish-web.yml b/.github/workflows/gh-publish-web.yml
index c1d3227..38bc8a1 100644
--- a/.github/workflows/gh-publish-web.yml
+++ b/.github/workflows/gh-publish-web.yml
@@ -31,7 +31,7 @@ jobs:
       run: make html
 
     - name: Update the main gh-page website
-      if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
+      if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/develop' }}
       uses: peaceiris/actions-gh-pages@v4
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}