diff --git a/.github/workflows/all.yml b/.github/workflows/all.yml
index f28879790d..69e03cd5ee 100644
--- a/.github/workflows/all.yml
+++ b/.github/workflows/all.yml
@@ -13,98 +13,10 @@ on:
     types: [ "opened", "synchronize" ]
 
 jobs:
-  base:
-    name: Base
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    uses: ./.github/workflows/base.yml
-    secrets: inherit
-  lint-markdown:
-    name: Lint Markdown
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    uses: ./.github/workflows/lint_markdown.yml
-  nix:
-    name: Nix
-    permissions:
-      actions: 'write'
-      contents: 'read'
-      id-token: 'write'
-    uses: ./.github/workflows/nix.yml
-    secrets: inherit
-  riscv:
-    name: RISC-V
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/riscv.yml
-  ci:
-    name: Extended
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base, nix ]
-    uses: ./.github/workflows/ci.yml
-    secrets: inherit
-  cbmc:
-    name: CBMC
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-      pull-requests: 'write'
-    needs: [ base, nix ]
-    uses: ./.github/workflows/cbmc.yml
-    secrets: inherit
-  oqs_integration:
-    name: libOQS
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-liboqs.yml
-    secrets: inherit
-  pavona_integration:
-    name: Pavona
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-pavona.yml
-    secrets: inherit
-  awslc_integration:
-    name: AWS-LC
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/integration-awslc.yml
-    with:
-      commit: v5.0.0
-    secrets: inherit
-  ct-test:
-    name: Constant-time
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base, nix ]
-    uses: ./.github/workflows/ct-tests.yml
-    secrets: inherit
   slothy:
     name: SLOTHY
     permissions:
       contents: 'read'
       id-token: 'write'
-    needs: [ base, nix ]
     uses: ./.github/workflows/slothy.yml
     secrets: inherit
-  baremetal:
-    name: Baremetal
-    permissions:
-      contents: 'read'
-      id-token: 'write'
-    needs: [ base ]
-    uses: ./.github/workflows/baremetal.yml
-    secrets: inherit
diff --git a/nix/slothy/default.nix b/nix/slothy/default.nix
index 5ff1ed25ec..ac374c5d39 100644
--- a/nix/slothy/default.nix
+++ b/nix/slothy/default.nix
@@ -7,14 +7,14 @@
 
 { pkgs }:
 
-pkgs.slothy
+# pkgs.slothy
 
-# pkgs.slothy.overrideAttrs (old: rec {
-#   version = "6d35cc147a0859f53f8bfc0d0f2ea3b947c8c4eb";
-#   src = pkgs.fetchFromGitHub {
-#     owner = "slothy-optimizer";
-#     repo = "slothy";
-#     rev = version;
-#     sha256 = "sha256-TplnMBjNvY7f8RTOwRWcv+cqxcRZ8KHx6toczNC5QGo=";
-#   };
-# })
+pkgs.slothy.overrideAttrs (old: rec {
+  version = "4302933bea0d33a11df33339bfa1ea3fee6bf2e6";
+  src = pkgs.fetchFromGitHub {
+    owner = "slothy-optimizer";
+    repo = "slothy";
+    rev = version;
+    sha256 = "sha256-XQ+YtaRCRtzAItQW/zLlj2wIKRz99cjttxSaEcgD8Pk=";
+  };
+})