File tree Expand file tree Collapse file tree 5 files changed +15
-171
lines changed Expand file tree Collapse file tree 5 files changed +15
-171
lines changed Original file line number Diff line number Diff line change 4
4
pull_request : {}
5
5
push :
6
6
branches : [main]
7
-
7
+
8
8
jobs :
9
- main :
9
+ reporting :
10
10
name : Publish Reporting API WD
11
11
runs-on : ubuntu-20.04
12
12
steps :
15
15
with :
16
16
SOURCE : index.src.html
17
17
TOOLCHAIN : bikeshed
18
+ BUILD_FAIL_ON : warning
18
19
W3C_ECHIDNA_TOKEN : ${{ secrets.W3C_TR_TOKEN }}
19
20
W3C_WG_DECISION_URL : https://lists.w3.org/Archives/Public/public-web-perf/2021Apr/0005.html
20
21
W3C_BUILD_OVERRIDE : |
21
22
shortName: reporting
22
23
status: WD
24
+ GH_PAGES_BRANCH : gh-pages
25
+ network-reporting :
26
+ name : Publish Network Reporting API ED
27
+ runs-on : ubuntu-20.04
28
+ steps :
29
+ - uses : actions/checkout@v2
30
+ - uses : w3c/spec-prod@v2
31
+ with :
32
+ SOURCE : network-reporting.bs
33
+ TOOLCHAIN : bikeshed
34
+ BUILD_FAIL_ON : link-error
35
+ GH_PAGES_BRANCH : gh-pages
Load Diff This file was deleted.
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments