Allow newly created codecs to be reclaimed if the system is out of resources #4
Workflow file for this run
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
| ###################################################################### | |
| # IMPORTANT: Do not edit this file directly! | |
| # | |
| # This workflow was automatically generated through the | |
| # generate-auto-publish-workflows.mjs script. To update the workflow, | |
| # make changes to the template file and run the script again. | |
| ###################################################################### | |
| name: Auto publish webcodecs | |
| on: | |
| # Worflow runs on pull requests where it makes sure that the spec can still be | |
| # generated, that markup is valid and that there are no broken links, as | |
| # well as on pushes to the default branch where it also deploys the generated | |
| # spec to the gh-pages branch and publishes the result to /TR. | |
| # The "workflow_dispatch" hook allows admins to also trigger the workflow | |
| # manually from GitHub's UI. | |
| pull_request: | |
| paths: | |
| - 'index.src.html' | |
| push: | |
| branches: [main] | |
| paths: | |
| - 'index.src.html' | |
| workflow_dispatch: | |
| jobs: | |
| main: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # See doc at https://github.com/actions/checkout#checkout-v2 | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| # See doc at https://w3c.github.io/spec-prod/ | |
| # The action only deploys the generated spec to the gh-pages branch when | |
| # the workflow was triggered by a push to the default branch. | |
| - name: Build and validate spec, push to gh-pages branch and deploy to /TR if needed | |
| uses: w3c/spec-prod@v2 | |
| with: | |
| TOOLCHAIN: bikeshed | |
| BUILD_FAIL_ON: warning | |
| SOURCE: index.src.html | |
| DESTINATION: index.html | |
| GH_PAGES_BRANCH: gh-pages | |
| W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN_WEBCODECS }} | |
| W3C_WG_DECISION_URL: https://github.com/w3c/media-wg/issues/27 | |
| W3C_BUILD_OVERRIDE: | | |
| status: WD |