Skip to content
Lint

Merge branch 'stable-1.8' #2538

Sign in to view logs

Merge branch 'stable-1.8'

Merge branch 'stable-1.8' #2538

Triggered via push August 31, 2024 15:48
@james-d-mitchelljames-d-mitchell
pushed 52ccbbb
main
Status Success
Total duration 20s
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.