Skip to content

Checkout base branch instead of PR head in build workflow #126

Checkout base branch instead of PR head in build workflow

Checkout base branch instead of PR head in build workflow #126

Run make lint

succeeded Feb 3, 2026 in 16s