Skip to content
Sphinx

[ unelab ] Properly unelaborate metavariables originating from %search #3462

Sign in to view logs

[ unelab ] Properly unelaborate metavariables originating from %search

[ unelab ] Properly unelaborate metavariables originating from %search #3462

Triggered via pull request August 22, 2023 21:32
@AlgebraicWolfAlgebraicWolf
opened #3055
AlgebraicWolf:unelaborate-search
Status Success
Total duration 31s
Artifacts –

ci-sphinx.yml

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