From 331af13c6f0f5af1a41fb412b98a8645cf3c8d2a Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Sat, 15 Nov 2025 20:21:46 +0000 Subject: [PATCH 1/3] Lean autoupdate --- .github/workflows/update-lean.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 .github/workflows/update-lean.yml diff --git a/.github/workflows/update-lean.yml b/.github/workflows/update-lean.yml new file mode 100644 index 0000000..a06a517 --- /dev/null +++ b/.github/workflows/update-lean.yml @@ -0,0 +1,17 @@ +name: CI + +on: + push: + branches: ["main"] # replace "main" with the default branch + pull_request: + branches: ["main"] + workflow_dispatch: + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + # uses lean standard action with all default input values + - uses: opencompl/lean-autoupdate From 241363aa5f1fabbdf07fac52d299fe67dd41244a Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Sat, 15 Nov 2025 20:23:34 +0000 Subject: [PATCH 2/3] use the latest version --- .github/workflows/update-lean.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update-lean.yml b/.github/workflows/update-lean.yml index a06a517..f41a9f0 100644 --- a/.github/workflows/update-lean.yml +++ b/.github/workflows/update-lean.yml @@ -14,4 +14,4 @@ jobs: steps: - uses: actions/checkout@v4 # uses lean standard action with all default input values - - uses: opencompl/lean-autoupdate + - uses: opencompl/lean-autoupdate@main From 5120390cbb08043ab54fbe0ec7dbc2d5945d3c11 Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Sat, 15 Nov 2025 20:57:50 +0000 Subject: [PATCH 3/3] Update Action Title --- .github/workflows/update-lean.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update-lean.yml b/.github/workflows/update-lean.yml index f41a9f0..6a31efb 100644 --- a/.github/workflows/update-lean.yml +++ b/.github/workflows/update-lean.yml @@ -1,4 +1,4 @@ -name: CI +name: Update Lean on: push: