Skip to content
Post PR summary comment

[Merged by Bors] - feat(RingTheory/Polynomial/HilbertPoly): the definition and key property of Polynomial.hilbertPoly p d for p : F[X] and d : ℕ, where F is a field. #34500

Sign in to view logs

[Merged by Bors] - feat(RingTheory/Polynomial/HilbertPoly): the definition and key property of Polynomial.hilbertPoly p d for p : F[X] and d : ℕ, where F is a field.

[Merged by Bors] - feat(RingTheory/Polynomial/HilbertPoly): the definition and key property of Polynomial.hilbertPoly p d for p : F[X] and d : ℕ, where F is a field. #34500

Triggered via pull request December 2, 2024 17:33
@FMLJohnFMLJohn
synchronize #19303
hilbert
Status Success
Total duration 54s
Artifacts –

PR_summary.yml

on: pull_request
post-or-update-summary-comment
44s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in

Annotations

1 warning
post-or-update-summary-comment
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636