diff --git a/.github/workflows/build-artifacts.yml b/.github/workflows/build-artifacts.yml
index f2a33a0..385c335 100644
--- a/.github/workflows/build-artifacts.yml
+++ b/.github/workflows/build-artifacts.yml
@@ -10,7 +10,7 @@ on:
     paths-ignore: [ "*.md" ]
 
 jobs:
-  Build-VSIX:
+  Compile-All:
     runs-on: macos-12
     steps:
       - uses: actions/checkout@v4
@@ -29,7 +29,7 @@ jobs:
       - name: Run vagrant up & provision
         run: vagrant up --provision
         env:
-          VER: 23.11
+          VER: 23.05
 
       - name: Get Coverage Badge SVG
         run: make -B $(pwd)/images/coverage-badge.svg
diff --git a/Vagrantfile b/Vagrantfile
index 17c8546..0a17fa0 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -16,9 +16,11 @@ Vagrant.configure("2") do |config|
 
   config.vm.provision "shell", privileged: false, inline: <<-'SHELL'
     cd /vagrant/
-    echo "statix check &&\
-      nix flake check --impure &&\
-      cp \$(nix build --impure --no-link --print-out-paths)/parigp* ./syntaxes/" |\
+    nix --version
+    df -h
+    echo "statix check && \
+      nix flake check --impure && \
+      cp \$(nix build --impure --no-link --print-out-paths)/parigp* ./syntaxes/" | \
       nix-shell --run bash
   SHELL
 end
diff --git a/shell.nix b/shell.nix
index 4e43f44..5dd0527 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,4 +1,4 @@
-{ pkgs ? import <nixpkgs> {} }:
+{ pkgs ? (import <nixpkgs>) {} }:
 pkgs.mkShell {
   NIX_CONFIG = "experimental-features = nix-command flakes";
   nativeBuildInputs = with pkgs; [