add rdf:dirLangString, rdf:reifies, rdf:Proposition, and modify rdf:JSON #47
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-schema | |
| - 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 |