Skip to content
Create new pull request

Remove non-exact xrefs from Mondo for selected sources? #784

Sign in to view logs

Remove non-exact xrefs from Mondo for selected sources?

Remove non-exact xrefs from Mondo for selected sources? #784

Triggered via issue December 7, 2023 11:14
@matentznmatentzn
edited #6970 609e092
Status Success
Total duration 11s
Artifacts –

ontobot.yaml

on: issues
check
2s
check
Matrix: build
Fit to window
Zoom out
Zoom in