From ae83de53af0a8a63cf5fb41d7594ddfab7cc2b34 Mon Sep 17 00:00:00 2001 From: Zimmi48 Date: Mon, 20 Sep 2021 08:16:58 +0000 Subject: [PATCH] Workaround Makefile issue after #59. --- .github/workflows/nix-action-default.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-action-default.yml b/.github/workflows/nix-action-default.yml index 204cb5d8..8e7c785a 100644 --- a/.github/workflows/nix-action-default.yml +++ b/.github/workflows/nix-action-default.yml @@ -328,7 +328,7 @@ jobs: nix-shell --run "cachedMake" nix-shell --run "make -t" - name: Build Alectryon snippets - run: nix-shell --run "make -C doc/movies -j $(nproc) all" + run: nix-shell --run "make -C doc/movies -j $(nproc)" - name: Build coqdoc run: nix-shell --run "make -j $(nproc) html" - name: Compile LaTeX document