diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ccf6cfe10..e07835383 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,3 +33,4 @@ jobs:
         run: |
           lake -R exe cache get # download cache of mathlib docs.
           lake -R build AliveExamples
+          echo '### Hello world! 🚀' >> $GITHUB_STEP_SUMMARY