From 39d946e802d469738bb4498306c36edc00d490e1 Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Thu, 3 Oct 2024 13:12:21 -0700 Subject: [PATCH] remove duplicate workflows --- .github/w3c-validate.yml | 56 ------------------------------ .github/workflows/w3c-specprod.yml | 24 ------------- 2 files changed, 80 deletions(-) delete mode 100644 .github/w3c-validate.yml delete mode 100644 .github/workflows/w3c-specprod.yml diff --git a/.github/w3c-validate.yml b/.github/w3c-validate.yml deleted file mode 100644 index 4c4f844761..0000000000 --- a/.github/w3c-validate.yml +++ /dev/null @@ -1,56 +0,0 @@ -name: Validate spec - -on: - pull_request: {} - push: - branches: [ main, specprod ] - # paths: [ .github/**, document/** ] - - # Allows you to run this workflow manually from the Actions tab, gh CLI tool, - # or REST API. THe w3c-status options correspond to the valid options for - # Bikeshed's --md-status flag, and refer to the W3C rec-track document - # stages described in https://www.w3.org/policies/process/#maturity-stages - # (Editor's Draft, Working Draft, Candidiate Recommendation Draft, and - # Candidate Recommendation Snapshot). - workflow_dispatch: - inputs: - w3c-status: - required: true - type: choice - description: W3C Document Status - options: - - ED - - WD - - CRD - - CR - -jobs: - w3c-validate: - if: github.repository == 'dschuff/spec' - runs-on: ubuntu-latest - steps: - - name: Checkout repo - uses: actions/checkout@v2 - with: - submodules: "recursive" - - name: Setup Node.js - uses: actions/setup-node@v3 - with: - node-version: 16 - - name: Setup Bikeshed - run: pip install bikeshed && bikeshed update - - name: Setup TexLive - run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended - - name: Setup Sphinx - run: pip install six && pip install sphinx==5.1.0 - - name: Publish all specs to their https://www.w3.org/TR/ URLs - run: cd js-api && make -e WD-echidna-CI - env: - W3C_STATUS: ${{ github.event_name == 'push' && 'WD' || inputs.w3c-status }} - W3C_USERNAME: ${{ secrets.W3C_USER }} - W3C_PASSWORD: ${{ secrets.W3C_PWD }} - ECHIDNA_DRYRUN: true - #W3C_ECHIDNA_TOKEN_CORE: ${{ secrets.W3C_ECHIDNA_TOKEN_CORE }} - #W3C_ECHIDNA_TOKEN_JSAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }} - #W3C_ECHIDNA_TOKEN_WEBAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_WEBAPI }} - YARN_ENABLE_IMMUTABLE_INSTALLS: false diff --git a/.github/workflows/w3c-specprod.yml b/.github/workflows/w3c-specprod.yml deleted file mode 100644 index cdafb8b1ee..0000000000 --- a/.github/workflows/w3c-specprod.yml +++ /dev/null @@ -1,24 +0,0 @@ -# .github/workflows/auto-publish.yml -name: specprod-validate -on: - pull_request: {} - push: - branches: [main, specprod] -jobs: - main: - name: Build JS API - runs-on: ubuntu-20.04 - steps: - - uses: actions/checkout@v4 - - uses: w3c/spec-prod@v2 - with: - SOURCE: document/js-api/index.bs - TOOLCHAIN: bikeshed - VALIDATE_PUBRULES: true - W3C_API_KEY: abc - #W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }} - # Replace following with appropriate value. See options.md for details. - #W3C_WG_DECISION_URL: https://github.com/WebAssembly/meetings/blob/main/main/2024/WG-06-12.md - # Usually, you want the following set too... - W3C_BUILD_OVERRIDE: | - shortName: wasm-js-api