feat: add lake check-test check before running lake test

action.yml

@@ -102,9 +102,7 @@ runs:
     - name: test ${{ github.repository }}
       if: ${{ inputs.test == 'true' }}
       run: |
-        echo "::group::Lake Test"
-        lake test
-        echo "::endgroup::"
+        ${{ github.action_path }}/scripts/lake_test.sh
       shell: bash
 
     - name: lint ${{ github.repository }}

scripts/lake_test.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+echo "::group::Lake Test"
+# Get the directory of the script
+SCRIPT_DIR="$(dirname "$(readlink -f "$0")")"
+
+# use `lake check-test` to determine if the project has a test runner available
+# TODO: add a more helpful error message once the test frame work matures
+if ! lake check-test; then
+    echo "::error::lake check-test failed: could not find a test runner"
+    cat "$SCRIPT_DIR"/step_summaries/lake_check_error.md >> "$GITHUB_STEP_SUMMARY"
+    exit 1
+fi
+
+lake test
+
+echo "::endgroup::"

scripts/step_summaries/lake_check_error.md

@@ -0,0 +1,2 @@
+### `lake check-test` failed
+`lake check-test` could not find a test runner. Add script or lean_exe tagged `@[test_runner]` in the workspace's root package.