From 3fdb9f03e9ff4495f1d700aea1edb50df9afd6f4 Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Wed, 1 May 2024 08:34:45 +0200 Subject: [PATCH] Update check_changes_online.md --- book/workflows/check_changes_online.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/workflows/check_changes_online.md b/book/workflows/check_changes_online.md index 72ccd51..bc0e134 100644 --- a/book/workflows/check_changes_online.md +++ b/book/workflows/check_changes_online.md @@ -8,7 +8,7 @@ Now that you've pushed your changes online, it's time to check the change in the At the moment this is not possible, but the workflow will soon be the same as for GitHub. ```` ````{tab-item} In GitHub -- Wait for the action to finish +- Wait for the action to finish (GitHub Desktop shows progress if its part of a pull request, VS Code shows progress with the GitHub Actions addon) - Visit the website of your build book ```{error} To be written ```