From ddcadfa88a58a03d57d4b6086a6078fb053bfaf5 Mon Sep 17 00:00:00 2001
From: Marcin Kostrzewa <marckostrzewa@gmail.com>
Date: Fri, 26 Jul 2024 12:26:07 +0200
Subject: [PATCH] try twice?

---
 .github/workflows/prover-test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/prover-test.yml b/.github/workflows/prover-test.yml
index da14e2099d..763c92c334 100644
--- a/.github/workflows/prover-test.yml
+++ b/.github/workflows/prover-test.yml
@@ -74,4 +74,4 @@ jobs:
         run: |
           cd light-prover/formal-verification
           ~/.elan/bin/lake exe cache get
-          ~/.elan/bin/lake build
+          ~/.elan/bin/lake build || ~/.elan/bin/lake build