lint and suggest

Suggestions for `FixDetMatsReps` #70160

Sign in to view logs

Triggered via pull request November 27, 2024 16:28

leanprover-community-bot-assistant

synchronize #19545

jmc-FixDetMatsReps

Status Success

Total duration 1m 40s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported