From 20d97eb4b6a83bce9049a83ffded95e3ef3002b9 Mon Sep 17 00:00:00 2001
From: Adomas Baliuka <52975890+adomasbaliuka@users.noreply.github.com>
Date: Fri, 29 Nov 2024 12:04:19 +0100
Subject: [PATCH] Update lean.yml

---
 .github/workflows/lean.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
index 88b6c44..1e8f47c 100644
--- a/.github/workflows/lean.yml
+++ b/.github/workflows/lean.yml
@@ -14,7 +14,6 @@ jobs:
       - uses: leanprover/lean-action@v1
         with:
           check-reservoir-eligibility: false
-  run_executable:
-    steps:
-      - test/run_executable_example.sh
 
+      # Run executable example as described in README
+      - run: test/run_executable_example.sh