lint

chore: update ownership/routing for repo #727

Sign in to view logs

Triggered via pull request December 15, 2025 20:22

shollyman

opened #166

shollyman:ownerfun

Status Success

Total duration 28s

Artifacts –

lint.yml

on: pull_request