Merge pull request #54 from argumentcomputer/ap/bump-lean

arthurpaulino · web-flow · commit 8ff598482515 · 2025-03-04T07:10:42.000-03:00
chore: bump Lean to v4.17.0
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,14 @@
+name: "CI"
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: leanprover/lean-action@v1
+        with:
+          build-args: "--wfail"
diff --git a/lakefile.toml b/lakefile.toml
@@ -1,6 +1,6 @@
 name = "LSpec"
 version = "2.0.0"
-defaultTargets = ["lspec"]
+defaultTargets = ["LSpec"]
 
 [[lean_lib]]
 name = "LSpec"
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.16.0
+leanprover/lean4:v4.17.0
