Skip to content
Lint

Update version numbers etc for v5.3.2 #1624

Sign in to view logs

Update version numbers etc for v5.3.2

Update version numbers etc for v5.3.2 #1624

Triggered via push October 7, 2023 15:34
@james-d-mitchelljames-d-mitchell
pushed d1b7b2a
main
Status Success
Total duration 38s
Artifacts –

lint.yml

on: push
gaplint
29s
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.