Skip to content
Create new pull request

Obsolete 'common crus', merge into 'common crus of semicircular duct' #416

Sign in to view logs

Obsolete 'common crus', merge into 'common crus of semicircular duct'

Obsolete 'common crus', merge into 'common crus of semicircular duct' #416

Triggered via issue December 19, 2023 16:27
@gouttegdgouttegd
opened #3161 eb52d24
Status Success
Total duration 11s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

auto-pr-ontobot.yml

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