Let's build this way

Author: msoos

.github/workflows/dynamic-build.yml

@@ -129,7 +129,6 @@ jobs:
         repository: meelgroup/cryptominisat
         ref: synthesis
         path: cryptominisat
-        token: ${{ secrets.BUILD_TOKEN }}
         submodules: 'true'
 
     - name: Build CMS
@@ -212,10 +211,9 @@ jobs:
     - name: Checkout arjun
       uses: actions/checkout@v4
       with:
-        repository: meelgroup/arjun-private
+        repository: meelgroup/arjun
         ref: synthesis2
         path: arjun
-        token: ${{ secrets.BUILD_TOKEN }}
     - name: Build arjun
       run: |
         cd arjun
@@ -228,10 +226,9 @@ jobs:
     - name: Checkout approxmc
       uses: actions/checkout@v4
       with:
-        repository: meelgroup/approxmc-private
+        repository: meelgroup/approxmc
         ref: synthesis
         path: approxmc
-        token: ${{ secrets.BUILD_TOKEN }}
         submodules: 'true'
     - name: Build approxmc
       run: |

.github/workflows/static-build.yml

@@ -215,10 +215,9 @@ jobs:
     - name: Checkout arjun
       uses: actions/checkout@v4
       with:
-        repository: meelgroup/arjun-private
+        repository: meelgroup/arjun
         ref: synthesis2
         path: arjun
-        token: ${{ secrets.BUILD_TOKEN }}
     - name: Build arjun
       run: |
         cd arjun
@@ -231,10 +230,9 @@ jobs:
     - name: Checkout approxmc
       uses: actions/checkout@v4
       with:
-        repository: meelgroup/approxmc-private
+        repository: meelgroup/approxmc
         ref: synthesis
         path: approxmc
-        token: ${{ secrets.BUILD_TOKEN }}
         submodules: 'true'
     - name: Build approxmc
       run: |