Skip to content
Lint

Workaround for GAP 4.12 test failure due to new GAPDoc version #1882

Sign in to view logs

Workaround for GAP 4.12 test failure due to new GAPDoc version

Workaround for GAP 4.12 test failure due to new GAPDoc version #1882

Triggered via pull request March 8, 2024 16:28
@fingolfinfingolfin
synchronize #1004
fingolfin:mh/workaround
Status Success
Total duration 31s
Artifacts –

lint.yml

on: pull_request
gaplint
19s
gaplint
cpplint
10s
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.