Skip to content

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

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

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

Triggered via push February 21, 2026 07:38
Status Success
Total duration 21s
Artifacts

lint.yml

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