Skip to content
Back to pull request #1009

Implement LeftSemigroupIdeal and RightSemigroupIdeal #1945

Sign in to view logs

Implement LeftSemigroupIdeal and RightSemigroupIdeal

Implement LeftSemigroupIdeal and RightSemigroupIdeal #1945

Triggered via pull request April 2, 2024 20:13
@Jun2MJun2M
synchronize #1009
Jun2M:main
Status Success
Total duration 29s
Artifacts –

lint.yml

on: pull_request
gaplint
21s
gaplint
cpplint
7s
cpplint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
cpplint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.