use lean-action

.github/workflows/build.yml

@@ -7,20 +7,5 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-
-      - name: install elan
-        run: |
-          set -o pipefail
-          curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
-          ./elan-init -y --default-toolchain none
-          echo "$HOME/.elan/bin" >> $GITHUB_PATH
-
       - uses: actions/checkout@v4
-
-      - name: print lean and lake versions
-        run: |
-          lean --version
-          lake --version
-
-      - name: build package
-        run: env LEAN_ABORT_ON_PANIC=1 lake build
+      - uses: leanprover/lean-action@v1