Skip to content
Formatting (pre-commit)

Remove source builds of geometric_shapes and srdfdom #8737

Sign in to view logs

Remove source builds of geometric_shapes and srdfdom

Remove source builds of geometric_shapes and srdfdom #8737

Triggered via pull request January 12, 2025 04:25
@sea-basssea-bass
opened #3233
remove-geometric-shapes-srdfdom-repos-file
Status Success
Total duration 28s
Artifacts –

format.yaml

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