Skip to content

Commit

Permalink
Turn Web IDL into a Living Standard
Browse files Browse the repository at this point in the history
Helps with #1016.

Closes #955.
  • Loading branch information
annevk authored Oct 5, 2021
1 parent 60a2cbf commit 37c0e6f
Show file tree
Hide file tree
Showing 10 changed files with 588 additions and 249 deletions.
19 changes: 19 additions & 0 deletions .editorconfig
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
root = true

[*]
end_of_line = lf
insert_final_newline = true
charset = utf-8
indent_size = 2
indent_style = space
trim_trailing_whitespace = true
max_line_length = 100

[Makefile]
indent_style = tab

[*.bs]
indent_size = 1

[*.py]
indent_size = 4
2 changes: 2 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
* text=auto
*.bs diff=html linguist-language=HTML
30 changes: 17 additions & 13 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,25 +2,29 @@ name: Build
on:
pull_request:
branches:
- master
- main
push:
branches:
- master
- main
jobs:
build:
name: Build
runs-on: ubuntu-latest
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- uses: actions/setup-node@v1
with:
node-version: 16
- run: npm install
- name: Build
run: make ci
- name: Deploy
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
uses: peaceiris/actions-gh-pages@v3
fetch-depth: 2
# Note: `python` will also be this version, which various scripts depend on.
- uses: actions/setup-python@v2
with:
python-version: 3.8
- uses: actions/setup-node@v2
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./out
node-version: 14
- run: npm install
# Note: `make deploy` will do a deploy dry run on PRs.
- run: make deploy
env:
SERVER: ${{ secrets.MARQUEE_SERVER }}
SERVER_PUBLIC_KEY: ${{ secrets.MARQUEE_PUBLIC_KEY }}
SERVER_DEPLOY_KEY: ${{ secrets.MARQUEE_DEPLOY_KEY }}
7 changes: 4 additions & 3 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
/out/
index.ids
index.html
/webidl.spec.whatwg.org/
/deploy.sh
/index.html
/review.sh
/node_modules/
12 changes: 7 additions & 5 deletions .pr-preview.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
{
"src_file": "index.bs",
"type": "bikeshed",
"post_processing": {
"name": "webidl-grammar"
}
"src_file": "index.bs",
"type": "bikeshed",
"params": {
"force": 1,
"md-status": "LS-PR",
"md-Text-Macro": "PR-NUMBER {{ pull_request.number }}"
}
}
Loading

0 comments on commit 37c0e6f

Please sign in to comment.