Skip to content
Ubuntu build

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups #5213

Sign in to view logs

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups

[ draft ] Alternative design for sub- and quotient- (Abelian)Groups #5213

Triggered via pull request November 9, 2025 22:17
@jamesmckinnajamesmckinna
synchronize #2859
jamesmckinna:my-quotient-groups
Status Success
Total duration 25m 32s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
25m 29s
test-stdlib
Fit to window
Zoom out
Zoom in