Skip to content
Back to pull request #1493

Deprecate power_series_ring variant #321

Sign in to view logs

Deprecate power_series_ring variant

Deprecate power_series_ring variant #321

Triggered via pull request November 21, 2023 08:35
@fingolfinfingolfin
synchronize #1493
fingolfin:mh/deprecate-power_series_ring
Status Success
Total duration 3m 7s
Artifacts –

Invalidations.yml

on: pull_request
compare-invalidations
3m 0s
compare-invalidations
Fit to window
Zoom out
Zoom in