From cc5d6e92162e105b13904ad48d7f3c0d107babbe Mon Sep 17 00:00:00 2001 From: Yoav Weiss Date: Fri, 13 Mar 2026 09:40:51 +0100 Subject: [PATCH] Replace Makefile with spec-prod and fix bikeshed link errors - Replace Makefile + build.yml with spec-prod based auto-publish.yml - Add link-defaults for ambiguous 'duration' dfn ref (hr-time-3 vs performance-timeline) - Fix broken ']' property ref by using double quotes instead of single quotes - Fix extra '=' in [=monotonic clock/unsafe current time=|unsafe=] autolink --- .github/workflows/auto-publish.yml | 15 +++++++++++++++ .github/workflows/build.yml | 23 ----------------------- Makefile | 29 ----------------------------- index.bs | 8 ++++++-- 4 files changed, 21 insertions(+), 54 deletions(-) create mode 100644 .github/workflows/auto-publish.yml delete mode 100644 .github/workflows/build.yml delete mode 100644 Makefile diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml new file mode 100644 index 0000000..877ebc8 --- /dev/null +++ b/.github/workflows/auto-publish.yml @@ -0,0 +1,15 @@ +name: CI +on: + pull_request: {} + push: + branches: [main] +jobs: + main: + name: Build, Validate and Deploy + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: w3c/spec-prod@v2 + with: + TOOLCHAIN: bikeshed + GH_PAGES_BRANCH: gh-pages diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml deleted file mode 100644 index e857b5b..0000000 --- a/.github/workflows/build.yml +++ /dev/null @@ -1,23 +0,0 @@ -name: Build -on: - pull_request: - branches: - - main - push: - branches: - - main -jobs: - build: - name: Build - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - name: Build - run: make ci - - name: Deploy - if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} - uses: peaceiris/actions-gh-pages@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./out - diff --git a/Makefile b/Makefile deleted file mode 100644 index 7bce901..0000000 --- a/Makefile +++ /dev/null @@ -1,29 +0,0 @@ -SHELL=/bin/bash - -local: index.bs - bikeshed --die-on=warning spec index.bs index.html - -index.html: index.bs - @ (HTTP_STATUS=$$(curl https://api.csswg.org/bikeshed/ \ - --output index.html \ - --write-out "%{http_code}" \ - --header "Accept: text/plain, text/html" \ - -F die-on=warning \ - -F file=@index.bs) && \ - [[ "$$HTTP_STATUS" -eq "200" ]]) || ( \ - echo ""; cat index.html; echo ""; \ - rm -f index.html; \ - exit 22 \ - ); - -remote: index.html - -ci: index.bs - mkdir -p out - make remote - mv index.html out/index.html - -clean: - rm index.html - - diff --git a/index.bs b/index.bs index ef4f74c..b2f4c20 100644 --- a/index.bs +++ b/index.bs @@ -13,6 +13,10 @@ Status Text: If you wish to make comments regarding this document, please create Default Highlight: js + +