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 <[email protected]>
cosmos · Jul 23, 2024 · 3a768de · 3a768de
1 parent c7b321a
commit 3a768de
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 75 deletions.
diff --git 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
@@ -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: