-
Notifications
You must be signed in to change notification settings - Fork 125
69 lines (68 loc) · 2.15 KB
/
dpub-aria.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
name: dpub-aria ED
on:
push:
branches:
- 'main'
paths:
- 'common/**'
- 'dpub-aria/**'
workflow_dispatch:
jobs:
dispatch:
runs-on: ubuntu-latest
steps:
- name: Dispatch to dpub-aria repo
run: |
curl -L -X POST \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer ${{secrets.ARIA_EDITOR_DRAFTS}}" \
-H "X-GitHub-Api-Version: 2022-11-28" \
https://api.github.com/repos/w3c/dpub-aria/actions/workflows/build-from-monorepo.yaml/dispatches \
-d '{"ref":"gh-pages"}'
update-dpub-aria:
runs-on: ubuntu-latest
steps:
- name: Checkout monorepo
uses: actions/checkout@v4
with:
ref: main
path: aria
sparse-checkout: |
dpub-aria
common
- name: Copy common
run: |
mkdir aria/dpub-aria/common
cp -r aria/common/** aria/dpub-aria/common/
sed -i 's|\.\./common|common|g' aria/dpub-aria/index.html
- uses: w3c/spec-prod@v2
with:
TOOLCHAIN: respec
SOURCE: aria/dpub-aria/index.html
DESTINATION: aria/dpub-aria/index.html
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_DPUB_ARIA }}
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
W3C_BUILD_OVERRIDE: |
specStatus: CRD
ARTIFACT_NAME: dpub-aria
- name: Checkout dpub-aria repo
uses: actions/checkout@v4
with:
repository: w3c/dpub-aria
ref: gh-pages
path: dpub-aria
token: ${{ secrets.ARIA_EDITOR_DRAFTS }}
- uses: actions/download-artifact@v4
with:
name: dpub-aria
- name: Copy files
run: |
cp -r aria.gh/aria/dpub-aria/** dpub-aria/
- name: Push new files to child repo
run: |
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
git add .
git commit -m "ED update"
git push origin gh-pages
working-directory: dpub-aria