Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 21 additions & 17 deletions .github/workflows/deploy.yml
Original file line number Diff line number Diff line change
@@ -1,23 +1,27 @@
name: Build and Deploy
name: Build, and publish spec to GitHub Pages and /TR/

on:
pull_request: {}
push:
branches:
- main
branches: [main]
paths:
- '**png'
- 'logo/**'
- 'index.bs'

jobs:
build-and-deploy:
main:
name: Build, Validate and Deploy
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v2.3.1 # 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: make
- name: Prepare Deploy folder
run: mkdir deploy && rsync -av --exclude=.git --exclude=.gitignore --exclude=deploy . deploy/
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@4.0.0
- uses: actions/checkout@v2
- uses: w3c/spec-prod@v2
with:
BRANCH: gh-pages # The branch the action should deploy to.
FOLDER: deploy # The folder the action should deploy.
TOOLCHAIN: bikeshed
SOURCE: index.bs
DESTINATION: index.html
GH_PAGES_BRANCH: gh-pages
# W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
# W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-tt/XXXX
# W3C_BUILD_OVERRIDE: |
# status: CRD
Empty file removed .gitmodules
Empty file.
8 changes: 0 additions & 8 deletions Makefile

This file was deleted.

2 changes: 0 additions & 2 deletions W3CTRMANIFEST.txt

This file was deleted.