Update README.md

pitmonticone · Aug 5, 2024 · 80f98e0 · 80f98e0
1 parent ba6357d
commit 80f98e0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -173,3 +173,6 @@ Configure continuous integration to compile blueprint? [y/n] (y):
 
 For more details about the LeanBlueprint package and its commands, please refer to its
 [documentation](https://github.com/PatrickMassot/leanblueprint/tree/master#starting-a-blueprint).
+
+After configuring the blueprint, please wait for the GitHub Action workflow to finish.
+You can keep track of the progress in the **Actions** tab of your repository.