Skip to content
Lint

fix indentation when printing double cosets #2151

Sign in to view logs

fix indentation when printing double cosets

fix indentation when printing double cosets #2151

Triggered via pull request November 13, 2024 08:50
@ThomasBreuerThomasBreuer
opened #5841
ThomasBreuer:TB_double_cosets_view
Status Success
Total duration 39s
Artifacts –

lint.yml

on: pull_request
gaplint
29s
gaplint
Fit to window
Zoom out
Zoom in