ci: temporarily remove mcs-export from proof-deploy

.github/workflows/proof-deploy.yml

@@ -59,44 +59,10 @@ jobs:
         name: logs-${{ matrix.arch }}
         path: logs.tar.xz
 
-  mcs-export:
-    name: MCS
-    needs: code
-    runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-      matrix:
-        arch: [ARM, RISCV64]
-    # test only most recent push:
-    concurrency: l4v-regression-${{ github.ref }}-${{ strategy.job-index }}-mcs
-    steps:
-    - name: SimplExport
-      uses: seL4/ci-actions/aws-proofs@master
-      with:
-        L4V_ARCH: ${{ matrix.arch }}
-        L4V_FEATURES: MCS
-        xml: ${{ needs.code.outputs.xml }}
-        session: SimplExportAndRefine
-      env:
-        AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
-        AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}
-        AWS_SSH: ${{ secrets.AWS_SSH }}
-    - name: Upload C graph-lang
-      uses: actions/upload-artifact@v3
-      with:
-        name: c-graph-lang
-        path: artifacts/simpl-export
-        if-no-files-found: ignore
-    - name: Upload logs
-      uses: actions/upload-artifact@v3
-      with:
-        name: logs-${{ matrix.arch }}-MCS
-        path: logs.tar.xz
-
   deploy:
     name: Deploy manifest
     runs-on: ubuntu-latest
-    needs: [code, proofs, mcs-export]
+    needs: [code, proofs]
     steps:
     - uses: seL4/ci-actions/l4v-deploy@master
       with:
@@ -107,7 +73,7 @@ jobs:
   binary-verification:
     name: Trigger binary verification
     runs-on: ubuntu-latest
-    needs: [code, proofs, mcs-export]
+    needs: [code, proofs]
     steps:
     # download-artifact doesn't have an option to ignore missing artifacts,
     # so we download them all to test if c-graph-lang exists.