From eb933426e296a928f6868974653f5ddd7121dc2e Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com>
Date: Tue, 16 Jul 2024 17:10:13 +0200
Subject: [PATCH] chore:  rm mbt, trace tests from CI; fix dependabot (#2000)

* Remove MBT from pipeline

* chore: disable trace tests

* cleanup dependabot

* cleanup test

---------

Co-authored-by: MSalopek <matija.salopek994@gmail.com>
---
 .github/dependabot.yml     |  2 +-
 .github/workflows/test.yml | 75 +-------------------------------------
 2 files changed, 2 insertions(+), 75 deletions(-)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index 61976cf2f3..09980d5607 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -38,7 +38,7 @@ updates:
     labels:
       - dependencies
 
-    - package-ecosystem: gomod
+  - package-ecosystem: gomod
     directory: "/"
     schedule:
       interval: daily
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index fef4a7d880..9f283ee3d3 100644
--- a/.github/workflows/test.yml
+++ b/.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/get-diff-action@v6.1.2
-        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/get-diff-action@v6.1.2
@@ -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/get-diff-action@v6.1.2
-        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: