Skip to content
Lint

Update version numbers etc for v5.3.0 #1559

Sign in to view logs

Update version numbers etc for v5.3.0

Update version numbers etc for v5.3.0 #1559

Triggered via pull request September 18, 2023 09:03
@james-d-mitchelljames-d-mitchell
opened #956
rc-v5.3.0
Status Success
Total duration 46s
Artifacts –

lint.yml

on: pull_request
gaplint
35s
gaplint
cpplint
10s
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.