chore: rm mbt, trace tests from CI; fix dependabot (backport #2000)

.github/dependabot.yml

@@ -58,6 +58,26 @@ updates:
     labels:
       - dependencies
 
+  - package-ecosystem: gomod
+    directory: "/"
+    schedule:
+      interval: daily
+    target-branch: "release/v4.3.x"
+    # Only allow automated security-related dependency updates on release branches.
+    open-pull-requests-limit: 0
+    labels:
+      - dependencies
+
+  - package-ecosystem: gomod
+    directory: "/"
+    schedule:
+      interval: daily
+    target-branch: "release/v4.3.x-lsm"
+    # Only allow automated security-related dependency updates on release branches.
+    open-pull-requests-limit: 0
+    labels:
+      - dependencies
+
   - package-ecosystem: gomod
     directory: "/"
     schedule:

.github/workflows/test.yml

@@ -90,52 +90,9 @@ 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]
+    needs: [tests, test-integration]
     steps:
       - uses: actions/checkout@v4
       - uses: technote-space/[email protected]
@@ -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: