8000 Change primary editor of Streams to Mattias Buelens · whatwg/sg@061c1ec · GitHub
[go: up one dir, main page]

Skip to content

Change primary editor of Streams to Mattias Buelens #257

Change primary editor of Streams to Mattias Buelens

Change primary editor of Streams to Mattias Buelens #257

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