Skip to content

Checkout base branch instead of PR head in build workflow (#204) #146

Checkout base branch instead of PR head in build workflow (#204)

Checkout base branch instead of PR head in build workflow (#204) #146

Triggered via push February 17, 2026 13:54
Status Success
Total duration 22s
Artifacts

lint.yml

on: push
Run make lint
16s
Run make lint
Fit to window
Zoom out
Zoom in