From 9f1bb21b2725b801a22aa8e76bfdd9376e29de64 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 25 Apr 2023 18:51:15 +0200
Subject: [PATCH] Update build.yml

---
 .github/workflows/build.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d611964..807cfe6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -5,5 +5,12 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - run: lake build
+      - name: install elan
+        run: |
+          set -o pipefail
+          curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/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@v2
+      - name: build game
+        run: env LEAN_ABORT_ON_PANIC=1 lake build