Lint

chore: rename branch to main #553

Sign in to view logs

Triggered via pull request November 5, 2025 10:51

JohnTitor

opened #762

JohnTitor:rename-branch

Status Success

Total duration 1m 0s

Artifacts –

lint.yml

on: pull_request

check-external-types