Skip to content

Include build-directory lock directories in lock scanning#13649

Closed
Sudha247 wants to merge 1 commit intoocaml:mainfrom
Sudha247:dev-tools-lockdir-scan
Closed

Include build-directory lock directories in lock scanning#13649
Sudha247 wants to merge 1 commit intoocaml:mainfrom
Sudha247:dev-tools-lockdir-scan

Commits

Commits on Feb 20, 2026