Try to show a summary after the CI run

opencompl · May 11, 2024 · 7fc5722 · 7fc5722
1 parent fab92c2
commit 7fc5722
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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