Skip to content
Lint

Update version numbers etc for v5.4.0 #2287

Sign in to view logs

Update version numbers etc for v5.4.0

Update version numbers etc for v5.4.0 #2287

Triggered via push October 19, 2024 16:03
@james-d-mitchelljames-d-mitchell
pushed 265de04
stable-5.4
Status Success
Total duration 33s
Artifacts –

lint.yml

on: push
gaplint
25s
gaplint
cpplint
9s
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.