From 231e84166f6c892c455de7353fc90c58975922e1 Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Mon, 6 Sep 2021 16:09:33 +0200 Subject: [PATCH] Update ci --- .github/workflows/main.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c1978b7..7ce56ca 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,6 +30,9 @@ jobs: - name: Tangle run: nix-shell --run 'make tangle' + - name: Build external dependencies + run: nix-shell --run 'make extern' + - name: Build lib run: nix-shell --run 'make lib'