Skip to content
Back to pull request #12268

[Merged by Bors] - feat(NumberField/CanonicalEmbedding): Define the fundamental cone for the action of the units of a number field #18850

Sign in to view logs

[Merged by Bors] - feat(NumberField/CanonicalEmbedding): Define the fundamental cone for the action of the units of a number field

[Merged by Bors] - feat(NumberField/CanonicalEmbedding): Define the fundamental cone for the action of the units of a number field #18850

Triggered via pull request September 17, 2024 16:20
@xroblotxroblot
synchronize #12268
xfr_fundamental_cone_def
Status Success
Total duration 48s
Artifacts –

PR_summary.yml

on: pull_request
build
38s
build
Fit to window
Zoom out
Zoom in