From 06f898cee752a3cd247fbb1b0834034217773a8c Mon Sep 17 00:00:00 2001 From: "J.Stark" Date: Wed, 6 Mar 2024 18:33:12 +0100 Subject: [PATCH] minor fix --- .github/workflows/main.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c8851058f..d8b80d5e7 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -26,9 +26,10 @@ jobs: run: opam install ocaml-compiler-libs alcotest conf-openblas ctypes dune-configurator stdio npy odoc - name: Build doc - run: opam exec -- dune build @doc - run: cat docs/mathjax.js docs/highlight.pack.js >> _build/default/_doc/_html/highlight.pack.js - run: cp -r _build/default/_doc/_html/* docs + run: | + opam exec -- dune build @doc + cat docs/mathjax.js docs/highlight.pack.js >> _build/default/_doc/_html/highlight.pack.js + cp -r _build/default/_doc/_html/* docs - name: Deploy uses: peaceiris/actions-gh-pages@v3