Skip to content

Commit 8e1ab5c

Browse files
pkrapkra
authored
Merge pull request #2197 from w3c/monorepo
monorepo: final step
2 parents daade4f + 2f2e3da commit 8e1ab5c

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

56 files changed

+47926
-0
lines changed

‎.github/workflows/build-copy-and-publish-accname.yml

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: Build, Copy, and Publish accname
2+
on:
3+
push:
4+
branches: [main]
5+
paths: ['accname/**', 'common/**']
6+
workflow_dispatch:
7+
8+
jobs:
9+
main:
10+
name: Build Respec
11+
runs-on: ubuntu-20.04
12+
steps:
13+
- uses: actions/checkout@v4
14+
- uses: w3c/spec-prod@v2
15+
with:
16+
SOURCE: accname/index.html
17+
TOOLCHAIN: respec
18+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_ACCNAME }}
19+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
20+
GH_PAGES_BRANCH: gh-pages
21+
VALIDATE_WEBIDL: false
22+
VALIDATE_MARKUP: false
23+
BUILD_FAIL_ON: nothing
24+
W3C_BUILD_OVERRIDE: |
25+
specStatus: WD
26+
shortName: accname-1.2
27+
ARTIFACT_NAME: 'accname'
28+
29+
- uses: actions/upload-artifact@v4
30+
with:
31+
name: accname
32+
path: accname.zip
33+
34+
copy-to-accname-gh-pages:
35+
name: Copy to accname repo
36+
runs-on: ubuntu-20.04
37+
needs: main
38+
steps:
39+
- name: Checkout accname repo
40+
uses: actions/checkout@v4
41+
with:
42+
repository: w3c/accname
43+
ref: gh-pages
44+
path: accname
45+
token: ${{ secrets.GITHUB_TOKEN }}
46+
47+
- name: Download artifacts
48+
uses: actions/download-artifact@v4
49+
with:
50+
name: accname
51+
path: accname
52+
53+
- name: Commit changes
54+
working-directory: accname
55+
env:
56+
token: ${{ secrets.ARIA_SPECS_EDITORS_DRAFTS }}
57+
run: |
58+
ls -R
59+
git config --global user.email "github-actions[bot]@users.noreply.github.com"
60+
git config --global user.name "GitHub Actions"
61+
git status
62+
git add .
63+
git commit -m "Update accname"
64+
git push origin gh-pages

‎.github/workflows/build-copy-and-publish-core-aam.yml

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: Build, Copy, and Publish core-aam
2+
on:
3+
push:
4+
branches: [main]
5+
paths: ['core-aam/**', 'common/**']
6+
workflow_dispatch:
7+
8+
jobs:
9+
main:
10+
name: Build Respec
11+
runs-on: ubuntu-20.04
12+
steps:
13+
- uses: actions/checkout@v4
14+
- uses: w3c/spec-prod@v2
15+
with:
16+
SOURCE: core-aam/index.html
17+
TOOLCHAIN: respec
18+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_CORE_AAM }}
19+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
20+
GH_PAGES_BRANCH: gh-pages
21+
VALIDATE_WEBIDL: false
22+
VALIDATE_MARKUP: false
23+
BUILD_FAIL_ON: nothing
24+
W3C_BUILD_OVERRIDE: |
25+
specStatus: CRD
26+
shortName: core-aam-1.2
27+
ARTIFACT_NAME: 'core-aam'
28+
29+
- uses: actions/upload-artifact@v4
30+
with:
31+
name: core-aam
32+
path: core-aam.zip
33+
34+
copy-to-core-aam-gh-pages:
35+
name: Copy to core-aam repo
36+
runs-on: ubuntu-20.04
37+
needs: main
38+
steps:
39+
- name: Checkout core-aam repo
40+
uses: actions/checkout@v4
41+
with:
42+
repository: w3c/core-aam
43+
ref: gh-pages
44+
path: core-aam
45+
token: ${{ secrets.GITHUB_TOKEN }}
46+
47+
- name: Download artifacts
48+
uses: actions/download-artifact@v4
49+
with:
50+
name: core-aam
51+
path: core-aam
52+
53+
- name: Commit changes
54+
working-directory: core-aam
55+
env:
56+
token: ${{ secrets.ARIA_SPECS_EDITORS_DRAFTS }}
57+
run: |
58+
ls -R
59+
git config --global user.email "github-actions[bot]@users.noreply.github.com"
60+
git config --global user.name "GitHub Actions"
61+
git status
62+
git add .
63+
git commit -m "Update core-aam"
64+
git push origin gh-pages

‎.github/workflows/build-copy-and-publish-dpub-aam.yml

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: Build, Copy, and Publish dpub-aria
2+
on:
3+
push:
4+
branches: [main]
5+
paths: ['dpub-aria/**', 'common/**']
6+
workflow_dispatch:
7+
8+
jobs:
9+
main:
10+
name: Build Respec
11+
runs-on: ubuntu-20.04
12+
steps:
13+
- uses: actions/checkout@v4
14+
- uses: w3c/spec-prod@v2
15+
with:
16+
SOURCE: dpub-aria/index.html
17+
TOOLCHAIN: respec
18+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_DPUB-AAM }}
19+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
20+
GH_PAGES_BRANCH: gh-pages
21+
VALIDATE_WEBIDL: false
22+
VALIDATE_MARKUP: false
23+
BUILD_FAIL_ON: nothing
24+
W3C_BUILD_OVERRIDE: |
25+
specStatus: CRD
26+
shortName: dpub-aria-1.1
27+
ARTIFACT_NAME: 'dpub-aria'
28+
29+
- uses: actions/upload-artifact@v4
30+
with:
31+
name: dpub-aria
32+
path: dpub-aria.zip
33+
34+
copy-to-dpub-aria-gh-pages:
35+
name: Copy to dpub-aria repo
36+
runs-on: ubuntu-20.04
37+
needs: main
38+
steps:
39+
- name: Checkout dpub-aria repo
40+
uses: actions/checkout@v4
41+
with:
42+
repository: w3c/dpub-aria
43+
ref: gh-pages
44+
path: dpub-aria
45+
token: ${{ secrets.GITHUB_TOKEN }}
46+
47+
- name: Download artifacts
48+
uses: actions/download-artifact@v4
49+
with:
50+
name: dpub-aria
51+
path: dpub-aria
52+
53+
- name: Commit changes
54+
working-directory: dpub-aria
55+
env:
56+
token: ${{ secrets.ARIA_SPECS_EDITORS_DRAFTS }}
57+
run: |
58+
ls -R
59+
git config --global user.email "github-actions[bot]@users.noreply.github.com"
60+
git config --global user.name "GitHub Actions"
61+
git status
62+
git add .
63+
git commit -m "Update dpub-aria"
64+
git push origin gh-pages

‎.github/workflows/build-copy-and-publish-dpub-aria.yml

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: Build, Copy, and Publish dpub-aria
2+
on:
3+
push:
4+
branches: [main]
5+
paths: ['dpub-aria/**', 'common/**']
6+
workflow_dispatch:
7+
8+
jobs:
9+
main:
10+
name: Build Respec
11+
runs-on: ubuntu-20.04
12+
steps:
13+
- uses: actions/checkout@v4
14+
- uses: w3c/spec-prod@v2
15+
with:
16+
SOURCE: dpub-aria/index.html
17+
TOOLCHAIN: respec
18+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_DPUB-ARIA }}
19+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
20+
GH_PAGES_BRANCH: gh-pages
21+
VALIDATE_WEBIDL: false
22+
VALIDATE_MARKUP: false
23+
BUILD_FAIL_ON: nothing
24+
W3C_BUILD_OVERRIDE: |
25+
specStatus: CRD
26+
shortName: dpub-aria-1.1
27+
ARTIFACT_NAME: 'dpub-aria'
28+
29+
- uses: actions/upload-artifact@v4
30+
with:
31+
name: dpub-aria
32+
path: dpub-aria.zip
33+
34+
copy-to-dpub-aria-gh-pages:
35+
name: Copy to dpub-aria repo
36+
runs-on: ubuntu-20.04
37+
needs: main
38+
steps:
39+
- name: Checkout dpub-aria repo
40+
uses: actions/checkout@v4
41+
with:
42+
repository: w3c/dpub-aria
43+
ref: gh-pages
44+
path: dpub-aria
45+
token: ${{ secrets.GITHUB_TOKEN }}
46+
47+
- name: Download artifacts
48+
uses: actions/download-artifact@v4
49+
with:
50+
name: dpub-aria
51+
path: dpub-aria
52+
53+
- name: Commit changes
54+
working-directory: dpub-aria
55+
env:
56+
token: ${{ secrets.ARIA_SPECS_EDITORS_DRAFTS }}
57+
run: |
58+
ls -R
59+
git config --global user.email "github-actions[bot]@users.noreply.github.com"
60+
git config --global user.name "GitHub Actions"
61+
git status
62+
git add .
63+
git commit -m "Update dpub-aria"
64+
git push origin gh-pages

‎.github/workflows/build-copy-and-publish-graphics-aam.yml

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: Build, Copy, and Publish graphics-aam
2+
on:
3+
push:
4+
branches: [main]
5+
paths: ['graphics-aam/**', 'common/**']
6+
workflow_dispatch:
7+
8+
jobs:
9+
main:
10+
name: Build Respec
11+
runs-on: ubuntu-20.04
12+
steps:
13+
- uses: actions/checkout@v4
14+
- uses: w3c/spec-prod@v2
15+
with:
16+
SOURCE: graphics-aam/index.html
17+
TOOLCHAIN: respec
18+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_GRAPHICS-AAM }}
19+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
20+
GH_PAGES_BRANCH: gh-pages
21+
VALIDATE_WEBIDL: false
22+
VALIDATE_MARKUP: false
23+
BUILD_FAIL_ON: nothing
24+
W3C_BUILD_OVERRIDE: |
25+
specStatus: CRD
26+
shortName: graphics-aam-1.1
27+
ARTIFACT_NAME: 'graphics-aam'
28+
29+
- uses: actions/upload-artifact@v4
30+
with:
31+
name: graphics-aam
32+
path: graphics-aam.zip
33+
34+
copy-to-graphics-aam-gh-pages:
35+
name: Copy to graphics-aam repo
36+
runs-on: ubuntu-20.04
37+
needs: main
38+
steps:
39+
- name: Checkout graphics-aam repo
40+
uses: actions/checkout@v4
41+
with:
42+
repository: w3c/graphics-aam
43+
ref: gh-pages
44+
path: graphics-aam
45+
token: ${{ secrets.GITHUB_TOKEN }}
46+
47+
- name: Download artifacts
48+
uses: actions/download-artifact@v4
49+
with:
50+
name: graphics-aam
51+
path: graphics-aam
52+
53+
- name: Commit changes
54+
working-directory: graphics-aam
55+
env:
56+
token: ${{ secrets.ARIA_SPECS_EDITORS_DRAFTS }}
57+
run: |
58+
ls -R
59+
git config --global user.email "github-actions[bot]@users.noreply.github.com"
60+
git config --global user.name "GitHub Actions"
61+
git status
62+
git add .
63+
git commit -m "Update graphics-aam"
64+
git push origin gh-pages

‎.github/workflows/build-copy-and-publish-graphics-aria.yml

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: Build, Copy, and Publish graphics-aria
2+
on:
3+
push:
4+
branches: [main]
5+
paths: ['graphics-aria/**', 'common/**']
6+
workflow_dispatch:
7+
8+
jobs:
9+
main:
10+
name: Build Respec
11+
runs-on: ubuntu-20.04
12+
steps:
13+
- uses: actions/checkout@v4
14+
- uses: w3c/spec-prod@v2
15+
with:
16+
SOURCE: graphics-aria/index.html
17+
TOOLCHAIN: respec
18+
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_GRAPHICS-ARIA }}
19+
W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-aria-admin/2018Sep/0011.html
20+
GH_PAGES_BRANCH: gh-pages
21+
VALIDATE_WEBIDL: false
22+
VALIDATE_MARKUP: false
23+
BUILD_FAIL_ON: nothing
24+
W3C_BUILD_OVERRIDE: |
25+
specStatus: CRD
26+
shortName: graphics-aria-1.1
27+
ARTIFACT_NAME: 'graphics-aria'
28+
29+
- uses: actions/upload-artifact@v4
30+
with:
31+
name: graphics-aria
32+
path: graphics-aria.zip
33+
34+
copy-to-graphics-aria-gh-pages:
35+
name: Copy to graphics-aria repo
36+
runs-on: ubuntu-20.04
37+
needs: main
38+
steps:
39+
- name: Checkout graphics-aria repo
40+
uses: actions/checkout@v4
41+
with:
42+
repository: w3c/graphics-aria
43+
ref: gh-pages
44+
path: graphics-aria
45+
token: ${{ secrets.GITHUB_TOKEN }}
46+
47+
- name: Download artifacts
48+
uses: actions/download-artifact@v4
49+
with:
50+
name: graphics-aria
51+
path: graphics-aria
52+
53+
- name: Commit changes
54+
working-directory: graphics-aria
55+
env:
56+
token: ${{ secrets.ARIA_SPECS_EDITORS_DRAFTS }}
57+
run: |
58+
ls -R
59+
git config --global user.email "github-actions[bot]@users.noreply.github.com"
60+
git config --global user.name "GitHub Actions"
61+
git status
62+
git add .
63+
git commit -m "Update graphics-aria"
64+
git push origin gh-pages

0 commit comments

Comments
 (0)