Various editorial improvements, fail CI on warnings. (#203)

- s/browser/user agent - Fixes a bunch of references - Clears out some stale issues - Other small purely editorial changes - Enables the CI to fail on warnings
WICG · Feb 24, 2023 · a04c5ca · a04c5ca
1 parent 7f49956
commit a04c5ca
Show file tree

Hide file tree

Showing 2 changed files with 56 additions and 66 deletions.
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -15,3 +15,4 @@ jobs:
           TOOLCHAIN: bikeshed
           SOURCE: spec.bs
           DESTINATION: index.html
+          BUILD_FAIL_ON: warning