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