Skip to content
Back to pull request #4846

[Merged by Bors] - feat: port RingTheory.DedekindDomain.Dvr #11677

Sign in to view logs

[Merged by Bors] - feat: port RingTheory.DedekindDomain.Dvr

[Merged by Bors] - feat: port RingTheory.DedekindDomain.Dvr #11677

Triggered via pull request June 8, 2023 07:51
@mo271mo271
synchronize #4846
port/RingTheory.DedekindDomain.Dvr
Status Success
Total duration 36s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
26s
Add annotations
Fit to window
Zoom out
Zoom in