Skip to content
Enforce PR labels

Restrict static params of our types, so e.g. PolyRing{T} now always must satisfy T<:RingElement #29

Sign in to view logs

Restrict static params of our types, so e.g. PolyRing{T} now always must satisfy T<:RingElement

Restrict static params of our types, so e.g. PolyRing{T} now always must satisfy T<:RingElement #29

Triggered via pull request February 3, 2026 22:54
@fingolfinfingolfin
labeled #2286
mh/restrict-static-params
Status Success
Total duration 25s
Artifacts –

EnforcePrLabels.yml

on: pull_request
Check for blocking labels
20s
Check for blocking labels
Fit to window
Zoom out
Zoom in