Skip to content
Create new pull request

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

Sign in to view logs

Remove non-exact xrefs from Mondo for selected sources?

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

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

ontobot.yaml

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