Skip to content

Add change event to PreferenceObject #12

Add change event to PreferenceObject

Add change event to PreferenceObject #12

Workflow file for this run

name: CI
on:
pull_request: {}
push:
branches: [main]
jobs:
main:
name: Build, Validate and Deploy
runs-on: ubuntu-20.04
permissions:
contents: write
steps:
- uses: actions/checkout@v3
- uses: w3c/spec-prod@v2
with:
GH_PAGES_BRANCH: gh-pages
TOOLCHAIN: bikeshed
SOURCE: index.bs
DESTINATION: index.html