Skip to content

Use "greater than or equal to" for nameIndex #142

Use "greater than or equal to" for nameIndex

Use "greater than or equal to" for nameIndex #142

Workflow file for this run

name: CI
on:
pull_request: {}
push:
branches: [main, '2024']
jobs:
main:
name: Build, Validate and Deploy
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- uses: w3c/spec-prod@v2
with:
GH_PAGES_BRANCH: gh-pages
TOOLCHAIN: bikeshed
SOURCE: source-map.bs
DESTINATION: ${{ github.ref == 'refs/heads/2024' && '2024/index.html' || 'index.html' }}