Skip to content
Lint source code

Update UserDefined_doc.i.in #592

Sign in to view logs

Update UserDefined_doc.i.in

Update UserDefined_doc.i.in #592

Triggered via push September 23, 2023 12:34
@mbaudin47mbaudin47
pushed 67c2beb
patch-4
Status Success
Total duration 1m 10s
Artifacts –

lint.yml

on: push
build
1m 1s
build
Fit to window
Zoom out
Zoom in