diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index da351f4..121a2e9 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -40,7 +40,7 @@ jobs: run: nix-shell --run 'make bench' - name: create doc - run: + run: | cd doc && nix-shell --run 'make all' cd doc && echo hello world > index.html