From 4306bab2ec572f220203890fc5c9105f584211b2 Mon Sep 17 00:00:00 2001 From: Benoit Giannangeli Date: Wed, 18 Sep 2024 10:14:28 +0200 Subject: [PATCH] chore(ci): CI doesn't need to build MIR manually anymore --- .github/workflows/ci.yaml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 073f2284..4dbc5a97 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -16,8 +16,6 @@ jobs: # uses: actions/checkout@v3.0.0 # - name: Checkout submodules # run: git submodule update --init --recursive - # - name: Build MIR - # run: cd vendors/mir && make && cd .. # - name: Setup nightly Zig # uses: mlugg/setup-zig@v1 # with: @@ -58,8 +56,6 @@ jobs: uses: actions/checkout@v3.0.0 - name: Checkout submodules run: git submodule update --init --recursive - - name: Build MIR - run: cd vendors/mir && make && cd .. - name: Setup nightly Zig uses: mlugg/setup-zig@v1 with: