Skip to content
Back to pull request #2884

config: canonicalize existing ancestor for import-path validation on macOS #957

Sign in to view logs

config: canonicalize existing ancestor for import-path validation on macOS

config: canonicalize existing ancestor for import-path validation on macOS #957

pipeline (aarch64-darwin)  /  ...  /  lean4 (aarch64-darwin)

pipeline (aarch64-darwin) / examples / lean4 (aarch64-darwin)
succeeded Jun 4, 2026 in 1m 53s