lint and suggest

feat: add `ContinuousSMul` instances for `ℚ≥0` #120746

Sign in to view logs

Summary
Jobs
- Lint style
Run details
- Usage
- Workflow file

Triggered via pull request October 19, 2025 09:04

synchronize #28474

astrainfinita:rat_continuousSMul

Status Success

Total duration 1m 54s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request