diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 942b3585..c7bba796 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,22 +1,18 @@ name: Build on: - pull_request: - branches: - - master + pull_request: {} push: branches: - master jobs: build: name: Build - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 - - name: Build - run: make ci - - name: Deploy - if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }} - uses: peaceiris/actions-gh-pages@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./out + - uses: actions/checkout@v3 + - uses: w3c/spec-prod@v2 + with: + TOOLCHAIN: bikeshed + SOURCE: spec.bs + GH_PAGES_BRANCH: gh-pages + BUILD_FAIL_ON: warning diff --git a/Makefile b/Makefile index ceb7a537..61290f64 100644 --- a/Makefile +++ b/Makefile @@ -21,10 +21,5 @@ spec.html: spec.bs remote: spec.html -ci: spec.bs - mkdir -p out - make remote - mv spec.html out/index.html - clean: rm spec.html