Skip to content

Commit a801103

Browse files
Add PDF-AAM action
1 parent 6b1ba84 commit a801103

File tree

1 file changed

+69
-0
lines changed

1 file changed

+69
-0
lines changed

.github/workflows/pdf-aam.yml

Lines changed: 69 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,69 @@
1+
name: pdf-aam ED
2+
on:
3+
push:
4+
branches:
5+
- 'main'
6+
paths:
7+
- 'common/**'
8+
- 'pdf-aam/**'
9+
workflow_dispatch:
10+
11+
jobs:
12+
dispatch:
13+
runs-on: ubuntu-latest
14+
steps:
15+
- name: Dispatch to pdf-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/pdf-aam/actions/workflows/build-from-monorepo.yaml/dispatches \
22+
-d '{"ref":"gh-pages"}'
23+
update-pdf-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+
pdf-aam
33+
common
34+
- name: Copy common
35+
run: |
36+
mkdir aria/pdf-aam/common
37+
cp -r aria/common/** aria/pdf-aam/common/
38+
sed -i 's|\.\./common|common|g' aria/pdf-aam/index.html
39+
- uses: w3c/spec-prod@v2
40+
with:
41+
TOOLCHAIN: respec
42+
SOURCE: aria/pdf-aam/index.html
43+
DESTINATION: aria/pdf-aam/index.html
44+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_pdf_aam }}
45+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
46+
W3C_BUILD_OVERRIDE: |
47+
specStatus: WD
48+
ARTIFACT_NAME: pdf-aam
49+
- name: Checkout pdf-aam repo
50+
uses: actions/checkout@v4
51+
with:
52+
repository: w3c/pdf-aam
53+
ref: gh-pages
54+
path: pdf-aam
55+
token: ${{ secrets.ARIA_EDITOR_DRAFTS }}
56+
- uses: actions/download-artifact@v4
57+
with:
58+
name: pdf-aam
59+
- name: Copy files
60+
run: |
61+
cp -r aria.gh/aria/pdf-aam/** pdf-aam/
62+
- name: Push new files to child repo
63+
run: |
64+
git config user.name "github-actions[bot]"
65+
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
66+
git add .
67+
git commit -m "ED update"
68+
git push origin gh-pages
69+
working-directory: pdf-aam

0 commit comments

Comments
 (0)