Skip to content
Lint

Resolve https://github.com/gap-system/gap/issues/5761 #2471

Sign in to view logs

Resolve https://github.com/gap-system/gap/issues/5761

Resolve https://github.com/gap-system/gap/issues/5761 #2471

Triggered via push August 26, 2024 11:36
@james-d-mitchelljames-d-mitchell
pushed 7ddd785
main
Status Success
Total duration 4m 12s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
cpplint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
gaplint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.