From 3feb63231e71286d44eaaaa79dbe47eec7c893a4 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 13 Jun 2025 15:30:58 +0200 Subject: [PATCH] chore: merge-checkout test fixed and removed from exclusions on master --- .github/workflows/build-template.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-template.yml b/.github/workflows/build-template.yml index 9af6ec7c0d..e2aa7f4397 100644 --- a/.github/workflows/build-template.yml +++ b/.github/workflows/build-template.yml @@ -82,7 +82,7 @@ jobs: - name: CI Merge Checkout run: | git fetch --depth=1 origin ${{ github.sha }} - git checkout FETCH_HEAD flake.nix flake.lock script/prepare-* + git checkout FETCH_HEAD flake.nix flake.lock script/prepare-* tests/lean/run/importStructure.lean if: github.event_name == 'pull_request' # (needs to be after "Checkout" so files don't get overridden) - name: Setup emsdk