diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index c640c755..42983cbc 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -25,6 +25,8 @@ jobs:
 
       - name: Deps
         run: opam install -d . --deps-only
+
+      - name: Odoc
         run: opam install odoc
 
       - name: Build