diff --git a/.github/workflows/IR.yml b/.github/workflows/IR.yml
index 434cef75b..891de2bfb 100644
--- a/.github/workflows/IR.yml
+++ b/.github/workflows/IR.yml
@@ -34,9 +34,14 @@ jobs:
       - name: Install dependencies
         run: |
           pip install ".[dev]"
-          solc-select install all
-          solc-select use 0.8.11
+          solc-select install 0.5.0         
+          solc-select use 0.8.11 --always-install
+
+      - name: Install old solc
+        if: matrix.os == 'ubuntu-latest'
+        run: solc-select install 0.4.0
+
 
       - name: Test with pytest
         run: |
-          pytest tests/test_ssa_generation.py
+          pytest tests/test_ssa_generation.py
\ No newline at end of file
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6503d2b62..9913e487d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -55,8 +55,9 @@ jobs:
       - name: Install dependencies
         run: |
           pip install ".[dev]"
-          solc-select install all
-          solc-select use 0.5.1
+          solc-select use 0.4.25 --always-install
+          solc-select use 0.8.0 --always-install
+          solc-select use 0.5.1 --always-install
           pip install typing_extensions==4.1.1
           pip install importlib_metadata==4.8.3
 
diff --git a/.github/workflows/detectors.yml b/.github/workflows/detectors.yml
index 8f3b45d15..15aa8a5dd 100644
--- a/.github/workflows/detectors.yml
+++ b/.github/workflows/detectors.yml
@@ -35,8 +35,7 @@ jobs:
         run: |
           pip install ".[dev]"
 
-          solc-select install all
-          solc-select use 0.7.3
+          solc-select use 0.7.3 --always-install
       - name: Test with pytest
         run: |
           pytest tests/test_detectors.py
diff --git a/.github/workflows/features.yml b/.github/workflows/features.yml
index 49db14793..5007fd7bf 100644
--- a/.github/workflows/features.yml
+++ b/.github/workflows/features.yml
@@ -35,8 +35,7 @@ jobs:
         run: |
           pip install ".[dev]"
 
-          solc-select install all
-          solc-select use 0.8.0
+          solc-select use 0.8.0 --always-install
 
           cd tests/test_node_modules/
           npm install hardhat