From adf91092eec0ca6e73d10dd991f4488f54abc845 Mon Sep 17 00:00:00 2001
From: Dorian Lesbre <dorian.lesbre@gmail.com>
Date: Wed, 17 Apr 2024 11:40:35 +0200
Subject: [PATCH] Stuff I forgot

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

diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
index c073169..610cb00 100644
--- a/.github/workflows/ocaml.yml
+++ b/.github/workflows/ocaml.yml
@@ -75,6 +75,6 @@ jobs:
         run: |
           git config user.email "${{ github.actor }}@users.noreply.github.com"
           git config user.name "${{ github.actor }}"
-          git add ${{ needs.build-all.outputs.ref }}
+          git add ${{ needs.build.outputs.ref }}
           git commit -m "Deploy ${GITHUB_SHA}"
           git push -f "https://${{ github.actor }}:${{ github.token }}@github.com/${{ github.repository }}.git" gh-pages