Skip to content
Back to pull request #13840

Check for uppercase 'head' when updating subprojects (fixes #12730) #3975

Sign in to view logs

Check for uppercase 'head' when updating subprojects (fixes #12730)

Check for uppercase 'head' when updating subprojects (fixes #12730) #3975

update_website

update_website
succeeded Nov 3, 2024 in 1m 28s