fix: Interop WG non editable (replaced with pdf) #185
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
| name: render-specs | |
| on: | |
| push: | |
| branches: | |
| - master | |
| jobs: | |
| build-and-deploy-spec: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout 🛎️ | |
| uses: actions/checkout@v2 # If you're using actions/checkout@v2 you must set persist-credentials to false in most cases for the deployment to work correctly. | |
| with: | |
| persist-credentials: false | |
| - name: Install and Build 🔧 # This example project is built using npm and outputs the result to the 'build' folder. Replace with the commands required to build your project, or remove this step entirely if your site is pre-built. | |
| run: | | |
| npm install | |
| npm run build | |
| rm -rf node_modules | |
| - name: Deploy | |
| uses: peaceiris/actions-gh-pages@v3.7.3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./ | |
| allow_empty_commit: true | |
| force_orphan: true |