Skip to content
Lint

Avoid the deprecated .. cmdoption:: directive (#1176) #110

Sign in to view logs

Avoid the deprecated .. cmdoption:: directive (#1176)

Avoid the deprecated .. cmdoption:: directive (#1176) #110

Triggered via push October 3, 2023 17:32
@hugovkhugovk
pushed e6b4ed1
main
Status Success
Total duration 32s
Artifacts –

lint.yml

on: push
lint
23s
lint
Fit to window
Zoom out
Zoom in