-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Editorial: Push to gh-pages, remove file, fix references (#32)
* Remove accidental file * Remove Michael's w3c ID Leaving the ID produces the error: The user with id 34017 is not participating in the group producing this document. * Add auto publish workflow * Remote unused .travis.yml file * Fix broken references
- Loading branch information
1 parent
8288925
commit 448891f
Showing
4 changed files
with
24 additions
and
1,624 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
name: CI | ||
on: | ||
pull_request: {} | ||
push: | ||
branches: [main] | ||
jobs: | ||
pages: | ||
name: Build gh-pages | ||
runs-on: ubuntu-20.04 | ||
steps: | ||
- uses: actions/checkout@v2 | ||
- uses: w3c/spec-prod@v2 | ||
with: | ||
GH_PAGES_BRANCH: gh-pages | ||
VALIDATE_WEBIDL: false | ||
VALIDATE_MARKUP: false |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.