Skip to content
Merge main to nightly

fix: use user's Lean search path in linter (#980) #470

Sign in to view logs

fix: use user's Lean search path in linter (#980)

fix: use user's Lean search path in linter (#980) #470

Triggered via push October 4, 2024 06:54
@github-merge-queuegithub-merge-queue[bot]
pushed 13f9b00
main
Status Success
Total duration 13s
Artifacts –

nightly_merge_master.yml

on: push
merge-to-nightly
4s
merge-to-nightly
Fit to window
Zoom out
Zoom in