chore: rm mbt, trace tests from CI; fix dependabot

.github/workflows/test.yml

@@ -90,49 +90,6 @@ jobs:
           name: "${{ github.sha }}-integration-coverage"
           path: ./integration-profile.out
 
-  test-mbt:
-    runs-on: Gaia-Runner-medium
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-go@v5
-        with:
-          go-version: "1.22"
-          check-latest: true
-          cache: true
-          cache-dependency-path: go.sum
-      - uses: actions/setup-node@v4
-        with:
-          node-version: ">= 18"
-          check-latest: true
-      - run: npm i @informalsystems/quint -g
-      - uses: technote-space/[email protected]
-        id: git_diff
-        with:
-          PATTERNS: |
-            **/*.go
-            go.mod
-            go.sum
-            **/go.mod
-            **/go.sum
-            **/Makefile
-            Makefile
-      - name: mbt tests
-        if: env.GIT_DIFF
-        run: |
-          make test-mbt-cov
-      - uses: actions/upload-artifact@v4
-        if: env.GIT_DIFF
-        with:
-          name: "${{ github.sha }}-mbt-coverage"
-          path: ./mbt-profile.out
-      - name: Archive MBT traces
-        uses: actions/upload-artifact@v4
-        if: ${{ success() || failure() }} # to upload the traces only when the test failed
-        with:
-          name: mbt-traces
-          path: tests/mbt/driver/traces
-          retention-days: 6 # to not clog our cloud storage too much, we retain only for a few days
-
   repo-analysis:
     runs-on: ubuntu-latest
     needs: [tests, test-integration, test-mbt]
@@ -229,36 +186,6 @@ jobs:
         run: |
           make test-e2e-compatibility-tests-latest
 
-  test-trace:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          lfs: true
-      - name: checkout LFS objects
-        run: git lfs checkout
-      - uses: actions/setup-go@v5
-        with:
-          go-version: "1.22"
-          check-latest: true
-          cache: true
-          cache-dependency-path: go.sum
-      - uses: technote-space/[email protected]
-        id: git_diff
-        with:
-          PATTERNS: |
-            **/*.go
-            go.mod
-            go.sum
-            **/go.mod
-            **/go.sum
-            **/Makefile
-            Makefile
-            Dockerfile*
-      - name: trace-e2e tests
-        if: env.GIT_DIFF
-        run: |
-          make test-trace
   model-analysis:
     runs-on: ubuntu-latest
     steps: