Skip to content
Sphinx

[ fix ] Ensure local defs with no claim are local #3378

Sign in to view logs

[ fix ] Ensure local defs with no claim are local

[ fix ] Ensure local defs with no claim are local #3378

Triggered via pull request July 16, 2023 16:01
@dunhamstevedunhamsteve
synchronize #3017
dunhamsteve:issue-3016
Status Success
Total duration 44s
Artifacts –

ci-sphinx.yml

on: pull_request
Sphinx
34s
Sphinx
Fit to window
Zoom out
Zoom in