Skip to content
Invalidations

Deprecate power_series_ring variant #286

Sign in to view logs

Deprecate power_series_ring variant

Deprecate power_series_ring variant #286

Triggered via pull request November 3, 2023 09:39
@fingolfinfingolfin
opened #1493
fingolfin:mh/deprecate-power_series_ring
Status Failure
Total duration 2m 52s
Artifacts –

Invalidations.yml

on: pull_request
compare-invalidations
2m 43s
compare-invalidations
Fit to window
Zoom out
Zoom in

Annotations

1 error
compare-invalidations
Process completed with exit code 1.