Skip to content
Formatting (pre-commit)

Remove source builds of geometric_shapes and srdfdom #8744

Sign in to view logs

Remove source builds of geometric_shapes and srdfdom

Remove source builds of geometric_shapes and srdfdom #8744

Triggered via pull request January 12, 2025 06:07
@sea-basssea-bass
synchronize #3233
remove-geometric-shapes-srdfdom-repos-file
Status Success
Total duration 33s
Artifacts –

format.yaml

on: pull_request
Format
25s
Format
Fit to window
Zoom out
Zoom in