Print progress messages so i know what spec is failing

Author: tabatkins

.github/workflows/build-specs.yml

@@ -51,6 +51,8 @@ jobs:
             # `--format=%as` because we want the date not to depend on the
             # committer's timezone. We use UTC to avoid depending on the build
             # runner's timezone as well.
+            echo "==============================================================="
+            echo "Building $file"
             TIMESTAMP="$(git log -1 --format=%at "$file")"
             SHORT_DATE="$(date --date=@"$TIMESTAMP" --utc +%F)"
             bikeshed -f spec "$file" "${file%Overview.bs}index.html" --md-date="$SHORT_DATE" --md-Text-Macro="BUILTBYGITHUBCI foo"