Skip to content

Commit fd1c2e6

Browse files
committedJun 21, 2024
Update html-aam
1 parent 12f1330 commit fd1c2e6

File tree

1 file changed

+70
-0
lines changed

1 file changed

+70
-0
lines changed
 

‎.github/workflows/html-amm.yml

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

0 commit comments

Comments
 (0)
Please sign in to comment.