setup Echidna

mwherman2000 · Dec 3, 2024 · 23f109d · 23f109d
1 parent d5da087
commit 23f109d
Show file tree

Hide file tree

Showing 4 changed files with 68 additions and 3 deletions.
diff --git a/.github/workflows/auto-publish-methods.yml b/.github/workflows/auto-publish-methods.yml
@@ -0,0 +1,21 @@
+# .github/workflows/pr-push.yml
+name: Echidna Auto-publish did-extensions-methods
+on:
+  push:
+    branches: [main]
+    paths: ["methods/**"]
+jobs:
+  main:
+    name: Echidna Auto-publish WD
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: w3c/spec-prod@v2
+        with:
+          SOURCE: methods/index.html
+          TOOLCHAIN: respec
+          W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_METHODS }}
+          W3C_WG_DECISION_URL: https://www.w3.org/2024/09/24-did-minutes.html#r02
+          W3C_BUILD_OVERRIDE: |
+             shortName: did-extensions-methods
+             specStatus: NOTE
diff --git a/.github/workflows/auto-publish-properties.yml b/.github/workflows/auto-publish-properties.yml
@@ -0,0 +1,21 @@
+# .github/workflows/pr-push.yml
+name: Echidna Auto-publish did-extensions-properties
+on:
+  push:
+    branches: [main]
+    paths: ["properties/**"]
+jobs:
+  main:
+    name: Echidna Auto-publish WD
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: w3c/spec-prod@v2
+        with:
+          SOURCE: properties/index.html
+          TOOLCHAIN: respec
+          W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_PROPERTIES }}
+          W3C_WG_DECISION_URL: https://www.w3.org/2024/09/24-did-minutes.html#r02
+          W3C_BUILD_OVERRIDE: |
+             shortName: did-extensions-properties
+             specStatus: NOTE
diff --git a/.github/workflows/auto-publish-resolution.yml b/.github/workflows/auto-publish-resolution.yml
@@ -0,0 +1,21 @@
+# .github/workflows/pr-push.yml
+name: Echidna Auto-publish did-extensions-resolution
+on:
+  push:
+    branches: [main]
+    paths: ["resolutions/**"]
+jobs:
+  main:
+    name: Echidna Auto-publish WD
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: w3c/spec-prod@v2
+        with:
+          SOURCE: resolutions/index.html
+          TOOLCHAIN: respec
+          W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_RESOLUTION }}
+          W3C_WG_DECISION_URL: https://www.w3.org/2024/09/24-did-minutes.html#r02
+          W3C_BUILD_OVERRIDE: |
+             shortName: did-extensions-resolution
+             specStatus: NOTE
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -1,5 +1,5 @@
 # .github/workflows/pr-push.yml
-name: Echidna Auto-publish
+name: Echidna Auto-publish did-extensions
 on:
   push:
     branches: [main]
@@ -25,8 +25,10 @@ jobs:
         run: npm run generate
       - uses: w3c/spec-prod@v2
         with:
-          #W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
-          W3C_WG_DECISION_URL: https://www.w3.org/2019/did-wg/Meetings/Minutes/2020-06-09-did#resolution1
+          SOURCE: index.html
+          TOOLCHAIN: respec
+          W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_EXTENSIONS }}
+          W3C_WG_DECISION_URL: https://www.w3.org/2024/09/24-did-minutes.html#r02
           W3C_BUILD_OVERRIDE: |
              shortName: did-extensions
              specStatus: NOTE