File tree 1 file changed +36
-0
lines changed 1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change
1
+ # Workflow based on the main w3c/spec-prod action example:
2
+ # https://github.com/w3c/spec-prod/#basic-usage
3
+
4
+ name : Build, Validate, Deploy and Publish
5
+
6
+ on :
7
+ # Workflow runs on pull requests where it makes sure that the spec can still
8
+ # be generated, that markup is valid and that there are no broken links, as
9
+ # well as on pushes to the default branch where it also deploys the generated
10
+ # spec to the gh-pages branch and publishes the result to /TR.
11
+ # The "workflow_dispatch" hook allows admins to also trigger the workflow
12
+ # manually from GitHub's UI.
13
+ pull_request : {}
14
+ push :
15
+ branches : [main]
16
+ workflow_dispatch :
17
+
18
+ jobs :
19
+ main :
20
+ runs-on : ubuntu-latest
21
+ steps :
22
+ # See doc at https://github.com/actions/checkout#checkout-v2
23
+ - name : Checkout repository
24
+ uses : actions/checkout@v4
25
+
26
+ # See doc at https://github.com/w3c/spec-prod/#spec-prod
27
+ # The action only deploys the generated spec to the gh-pages branch when
28
+ # the workflow was triggered by a push to the default branch.
29
+ - name : Build and validate index.html, push to gh-pages branch if needed
30
+ uses : w3c/spec-prod@v2
31
+ with :
32
+ GH_PAGES_BRANCH : gh-pages
33
+ W3C_ECHIDNA_TOKEN : ${{ secrets.ECHIDNA_TOKEN }}
34
+ W3C_WG_DECISION_URL : https://github.com/w3c/patwg/issues/19
35
+ W3C_BUILD_OVERRIDE : |
36
+ status: WD
You can’t perform that action at this time.
0 commit comments