lint and suggest

[Merged by Bors] - chore: adaptations for leanprover/lean4#3084 #13612

Sign in to view logs

Triggered via pull request January 7, 2024 05:27

kim-em

synchronize #9452

adaptations_3084

Status Success

Total duration 1m 11s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported