Skip to content
Lint

Update version numbers etc for v5.3.1 #1572

Sign in to view logs

Update version numbers etc for v5.3.1

Update version numbers etc for v5.3.1 #1572

Triggered via push September 20, 2023 08:11
@james-d-mitchelljames-d-mitchell
pushed 5ea4415
main
Status Success
Total duration 40s
Artifacts –

lint.yml

on: push
gaplint
26s
gaplint
cpplint
11s
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.