From 0224da662a4e914510832fa21b652931ad493915 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Fri, 28 Jun 2024 15:21:03 +0200 Subject: [PATCH 1/4] Remove MBT from pipeline --- .github/workflows/test.yml | 43 -------------------------------------- 1 file changed, 43 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index fef4a7d880..04046f7d75 100644 --- a/.github/workflows/test.yml +++ b/.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/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] From 22b8855ad81e55f5f4a51f1de2ac9ab3975261a3 Mon Sep 17 00:00:00 2001 From: MSalopek Date: Tue, 16 Jul 2024 16:02:40 +0200 Subject: [PATCH 2/4] chore: disable trace tests --- .github/workflows/test.yml | 30 ------------------------------ 1 file changed, 30 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 04046f7d75..6972740171 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -186,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: From 50313814fc5355d402668dd32c763373e4692530 Mon Sep 17 00:00:00 2001 From: MSalopek Date: Tue, 16 Jul 2024 16:08:44 +0200 Subject: [PATCH 3/4] cleanup dependabot --- .github/dependabot.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From 54d3a2e7ec18abd68c78cf3c060770608d6addcb Mon Sep 17 00:00:00 2001 From: MSalopek Date: Tue, 16 Jul 2024 17:08:02 +0200 Subject: [PATCH 4/4] cleanup test --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 6972740171..9f283ee3d3 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -92,7 +92,7 @@ jobs: 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