Stuff I forgot

.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