From 910e1eb43ac7d754ec70e2bbef76cc1b8568d21b Mon Sep 17 00:00:00 2001 From: Michael Hicks Date: Tue, 12 May 2026 08:14:23 -0400 Subject: [PATCH] Update ci.yml Update workflow to include merge_group: and to use latest checkout action --- .github/workflows/ci.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2656548..b837cb7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,7 @@ name: CI on: push: - branches: ["main"] # replace "main" with the default branch + merge_group: pull_request: branches: ["main"] workflow_dispatch: @@ -10,9 +10,8 @@ on: jobs: build: runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 # uses lean standard action with all default input values - uses: leanprover/lean-action@v1 with: