Merge pull request #1546 from Pavan-Nambi/dev-ci

chore(CI):removing solc-select install all lines
crytic · Jan 9, 2023 · a6ca165 · a6ca165
2 parents e492b29 + d1b875d
commit a6ca165
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 9 deletions.
diff --git 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
diff --git 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
@@ -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
@@ -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