Skip to content

perf: increase prio of AddCommMonoid.toAddMonoid #52826

perf: increase prio of AddCommMonoid.toAddMonoid

perf: increase prio of AddCommMonoid.toAddMonoid #52826

Triggered via pull request July 24, 2026 14:40
Status Success
Total duration 46s
Artifacts 1

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
44s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data
1.04 KB
sha256:0f09d1d50c5306278f66b4853c417a047b77ca7f889c66b86362dfd830e70519