Skip to content

Setting up the echidna action #1

Setting up the echidna action

Setting up the echidna action #1

Workflow file for this run

# .github/workflows/auto-publish.yml
name: CI
on:
pull_request: {}
push:
branches: [main]
jobs:
main:
name: Build, Validate and Deploy
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v3
- uses: w3c/spec-prod@v2
with:
TOOLCHAIN: respec
W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
W3C_WG_DECISION_URL: https://www.w3.org/2017/vc/WG/Meetings/Minutes/2023-04-12-vcwg#resolution1
W3C_BUILD_OVERRIDE: |
shortName: vc-use-cases
specStatus: NOTE