Skip to content

Rename PolynomialRing_general to PolynomialRing_generic #45406

Rename PolynomialRing_general to PolynomialRing_generic

Rename PolynomialRing_general to PolynomialRing_generic #45406

Triggered via pull request December 17, 2024 09:42
@mantepsemantepse
unlabeled #38207
Status Skipped
Total duration 2s
Artifacts

sync_labels.yml

on: pull_request_target
synchronize
0s
synchronize
Fit to window
Zoom out
Zoom in