From 6f3c5aef8fe7db6080c8646e163b9421788a3433 Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Mon, 6 Sep 2021 17:48:41 +0200 Subject: [PATCH] Fix main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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