8000 fix email · whatwg/sg@2425ec4 · GitHub
[go: up one dir, main page]

Skip to content

Changing (primary) editor of HTML to Simon #258

Changing (primary) editor of HTML to Simon

Changing (primary) editor of HTML to Simon #258

Workflow file for this run

name: Test
on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
test:
name: Test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: "3.12"
- run: python db.py validate
0