Adds a link to the text version of the BNF file. (#72) #193
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Example: Override respecConfig for W3C deployment and validators. | |
| name: Echidna Auto-publish | |
| on: | |
| pull_request: | |
| paths: ["spec/**"] | |
| push: | |
| branches: [main] | |
| paths: ["spec/**"] | |
| jobs: | |
| main: | |
| name: Echidna Auto-publish WD | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: true | |
| - uses: w3c/spec-prod@v2 | |
| with: | |
| TOOLCHAIN: respec | |
| SOURCE: spec/index.html | |
| VALIDATE_LINKS: false | |
| VALIDATE_MARKUP: true | |
| ACTIONS_STEP_DEBUG: true | |
| W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }} | |
| W3C_WG_DECISION_URL: https://www.w3.org/2023/04/20-rdf-star-minutes.html#r03 | |
| W3C_BUILD_OVERRIDE: | | |
| specStatus: WD | |
| shortName: rdf12-turtle | |
| - name: "Verify common files are consistent" | |
| run: | | |
| git submodule add https://github.com/w3c/rdf-common.git spec/rdf-common | |
| diff --exclude .git -r spec/rdf-common spec/common |