Skip to content
Back to pull request #11955

Issue 9231: add cast_integer lint #9174

Sign in to view logs

Issue 9231: add cast_integer lint

Issue 9231: add cast_integer lint #9174

Triggered via pull request December 12, 2023 04:57
@gernot-ohnergernot-ohner
opened #11955
gernot-ohner:issue-9231
Status Success
Total duration 1m 11s
Artifacts –

remark.yml

on: pull_request
remark
1m 2s
remark
bors remark test finished
0s
bors remark test finished
bors remark test finished
0s
bors remark test finished
Fit to window
Zoom out
Zoom in