diff --git a/.github/workflows/build-artifacts.yml b/.github/workflows/build-artifacts.yml
index f2a33a0..a60d168 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
@@ -27,9 +27,11 @@ jobs:
         run: vagrant --version
 
       - name: Run vagrant up & provision
-        run: vagrant up --provision
+        run: |
+          vagrant plugin install vagrant-disksize
+          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..5f658cf 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -7,18 +7,23 @@ Vagrant.configure("2") do |config|
   config.vm.box = "nixbox/nixos"
   config.vm.box_version = ver.to_s
 
+  config.disksize.size = '10GB'
+
   config.vm.provider "virtualbox" do |vb|
     vb.gui = false
-    vb.memory = "4096"
+    vb.memory = "8192"
+    vb.cpus = 2
   end
 
   config.vm.synced_folder ".", "/vagrant"
 
   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; [