Skip to content

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

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

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

Triggered via push February 17, 2026 14:50
Status Success
Total duration 29s
Artifacts

lint.yml

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