Skip to content
continuous integration

feat: Subgroup.closure and Submonoid.closure coincide in finite g… #47

Sign in to view logs

feat: Subgroup.closure and Submonoid.closure coincide in finite g…

feat: Subgroup.closure and Submonoid.closure coincide in finite g… #47

Triggered via push August 12, 2025 19:09
@j-loreauxj-loreaux
pushed 499415a
Subgroup.toSubmonoid
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
Lint style
Lint style
Build
0s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
Post-CI job
CI Success
CI Success
Fit to window
Zoom out
Zoom in