CI lint

Remove leftovers from pre-repo-sync times #18

Sign in to view logs

Triggered via pull request March 12, 2026 20:30

katafrakt

opened #273

remove-devtools-leftovers

Status Success

Total duration 17s

Artifacts –

ci-lint.yml

on: pull_request