Skip to content

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

Checkout base branch instead of PR head in build workflow

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

Triggered via pull request February 3, 2026 16:33
Status Success
Total duration 25s
Artifacts

lint.yml

on: pull_request
Run make lint
20s
Run make lint
Fit to window
Zoom out
Zoom in