Skip to content

Commit b134927

Browse files
authored
Setting-up-echidna (#906)
* Adding the github workflow for echidna * Minor addition * Main branch has been renamed to main... changing the script
1 parent 2159bb3 commit b134927

File tree

1 file changed

+20
-0
lines changed

1 file changed

+20
-0
lines changed

.github/workflows/auto-publish.yml

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# .github/workflows/pr-push.yml
2+
name: CI
3+
on:
4+
pull_request: {}
5+
push:
6+
branches: [main]
7+
jobs:
8+
main:
9+
name: Build, Validate and Deploy
10+
runs-on: ubuntu-20.04
11+
steps:
12+
- uses: actions/checkout@v2
13+
- uses: w3c/spec-prod@v2
14+
with:
15+
TOOLCHAIN: respec
16+
W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
17+
W3C_WG_DECISION_URL: https://www.w3.org/2017/vc/WG/Meetings/Minutes/2022-08-03-vcwg#resolution1
18+
W3C_BUILD_OVERRIDE: |
19+
shortName: vc-data-model-2.0
20+
specStatus: WD

0 commit comments

Comments
 (0)