Actions: leanprover-community/mathlib4
Actions
Showing runs from all workflows
570,490 workflow run results
570,490 workflow run results
RingTheory.Trace
and RingTheory.Norm
Post PR summary comment
#5076:
Pull request #14446
synchronize
by
riccardobrasca
RingTheory.Trace
and RingTheory.Norm
lint and suggest
#41462:
Pull request #14446
synchronize
by
riccardobrasca
RingTheory.Trace
and RingTheory.Norm
Label New Contributors
#19192:
Pull request #14446
synchronize
by
riccardobrasca
RingTheory.Trace
and RingTheory.Norm
Post PR summary comment
#5075:
Pull request #14446
synchronize
by
riccardobrasca
RingTheory.Trace
and RingTheory.Norm
lint and suggest
#41461:
Pull request #14446
synchronize
by
riccardobrasca
RingTheory.Trace
and RingTheory.Norm
Label New Contributors
#19191:
Pull request #14446
synchronize
by
riccardobrasca