d-flex flex-column width-full">

perf(Algebra/Ring/Defs): unfold the new `Semiring` instances

650d4a8

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Label New Contributors on: pull_request_target

label-and-report-new-contributor

New Contributor Check

Autolabel PRs on: pull_request_target 2

Add topic label

Post PR summary comment on: pull_request_target

post-or-update-summary-comment

Commit Verification on: pull_request

Verify Transient and Automated Commits

lint and suggest on: pull_request

Lint and suggest

Check PR titles on: pull_request_target

check_title

Run pre-commit and in-place update PR on push on: pull_request 1

main

continuous integration (mathlib forks) on: pull_request_target 3

ci (fork) / Build

ci (fork) / Lint style

ci (fork) / Upload to cache

ci (fork) / Post-Build Step

ci (fork) / Post-CI job

Cross off linked issues on: pull_request 4

Cross off linked issues

Add "closed-pr" emoji in Zulip on: pull_request_target

Add closed-pr emoji in Zulip

label-and-report-new-contributor

succeeded May 24, 2026 in 5s

Loading