Skip to content
Lint

Update version numbers etc for v5.3.1 #1570

Sign in to view logs

Update version numbers etc for v5.3.1

Update version numbers etc for v5.3.1 #1570

Triggered via push September 19, 2023 15:08
@james-d-mitchelljames-d-mitchell
pushed 5ea4415
stable-5.3
Status Success
Total duration 47s
Artifacts –

lint.yml

on: push
gaplint
33s
gaplint
cpplint
12s
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.