Skip to content

chore(Trace/Quotient): move isomorphism to `Localization.AtPrime.Basi… #206923

chore(Trace/Quotient): move isomorphism to `Localization.AtPrime.Basi…

chore(Trace/Quotient): move isomorphism to `Localization.AtPrime.Basi… #206923

Triggered via push December 13, 2025 23:08
Status Success
Total duration 14m 48s
Artifacts 2

build.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
261 KB
sha256:1818badb9556809656aa1d2ce1b426f4c1cdf0adb1a10c4a35605f56235de870
mathlib4_artifact Expired
1.84 GB
sha256:30b206160ee5d4d79d6a3fafe97941688c5279d1aa1c729bc0131191fb16b6ff