Remove PR chek for now + add ARIA ED

w3c · Jun 14, 2024 · 925dc4c · 925dc4c
1 parent ab12d70
commit 925dc4c
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 34 deletions.
diff --git a/.github/workflows/aria.yml b/.github/workflows/aria.yml
@@ -0,0 +1,16 @@
+name: aria ED
+on:
+  pull_request: {}
+  push:
+    branches: [main]
+jobs:
+  main:
+    name: Build, Validate and Deploy
+    runs-on: ubuntu-20.04
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/checkout@v4
+      - uses: w3c/spec-prod@v2
+        with:
+          GH_PAGES_BRANCH: gh-pages
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml