diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7d1cc2c..0aaddb3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -32,13 +32,13 @@ jobs: ## TODO: do this in a matrix - name: Compiler ${{matrix.compiler}} env: - NIXSHELL: "../../shell.nix" + WITH_SHELL: "nix-shell ../../shell.nix--argstr compiler ${{matrix.compiler}} --run" run: | mkdir -p build/${{matrix.compiler}} cd build/${{matrix.compiler}} - nix-shell $NIXSHELL --run '../../configure' - nix-shell $NIXSHELL --run 'make ctf' - nix-shell $NIXSHELL --run 'make' + $WITH_SHELL '../../configure' + $WITH_SHELL 'make ctf' + $WITH_SHELL 'make' documentation: