Skip to content
Back to pull request #18896

[Merged by Bors] - chore: backports of adaptations for leanprover/lean4#6024 #66991

Sign in to view logs

[Merged by Bors] - chore: backports of adaptations for leanprover/lean4#6024

[Merged by Bors] - chore: backports of adaptations for leanprover/lean4#6024 #66991

Triggered via pull request November 12, 2024 20:25
@kmillkmill
synchronize #18896
backports_6024
Status Success
Total duration 1m 30s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 21s
Lint style
Check all files imported
45s
Check all files imported
Fit to window
Zoom out
Zoom in