Back to pull request #9854

[Merged by Bors] - chore: Split `RingTheory.FractionalIdeal.Basic` #37847

Sign in to view logs

Triggered via pull request January 19, 2024 16:13

synchronize #9854

xfr-split_factideal_basic

Status Success

Total duration 28s

Artifacts –

detect_sha_changes.yml

on: pull_request

Add annotations