[Merged by Bors] - chore(Analysis/Convex): drop unused arguments #23132
Triggered via issue
April 26, 2025 23:19
leanprover-bot
Status
Success
Total duration
29s
Artifacts
–
bench_summary_comment.yml
on: issue_comment
Post summary of benchmarking results
22s