Skip to content
Nim Docs CI

fixes #22836; Unnecessary warning on 'options.none' with 'strictDefs'… #16186

Sign in to view logs

fixes #22836; Unnecessary warning on 'options.none' with 'strictDefs'…

fixes #22836; Unnecessary warning on 'options.none' with 'strictDefs'… #16186

Triggered via push October 18, 2023 14:44
@ringaboutringabout
pushed 0d4b3ed
devel
Status Success
Total duration 45m 15s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci_docs.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in