Update lean.yml

adomasbaliuka · Nov 29, 2024 · 20d97eb · 20d97eb
1 parent 926d7c1
commit 20d97eb
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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