diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index a46179e..ca868ac 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -39,9 +39,11 @@ jobs: - name: Download WASM version of Glistix compiler run: ./bin/download-compiler - run: glistix deps download - shell: nix develop --command bash -e {0} + shell: nix develop -L --command bash -e {0} + # This will work even if compilation fails (as Lustre imports arent't valid on Nix) + # The main concern is generating files for deps and prelude - name: Generate Nix files - run: glistix build --target nix + run: glistix build --target nix | true shell: nix develop --command bash -e {0} - name: Build site run: glistix run diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 4cce1f7..77f052f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -26,11 +26,13 @@ jobs: - uses: DeterminateSystems/magic-nix-cache-action@v4 - run: ./bin/download-compiler - run: glistix deps download - shell: nix develop --command bash -e {0} + shell: nix develop -L --command bash -e {0} - run: glistix format --check src test shell: nix develop --command bash -e {0} + # This will work even if compilation fails (as Lustre imports arent't valid on Nix) + # The main concern is generating files for deps and prelude - name: Generate Nix files - run: glistix build --target nix + run: glistix build --target nix | true shell: nix develop --command bash -e {0} - run: glistix test shell: nix develop --command bash -e {0}