Skip to content
Formatting (pre-commit)

Remove source builds of geometric_shapes and srdfdom #8749

Sign in to view logs

Remove source builds of geometric_shapes and srdfdom

Remove source builds of geometric_shapes and srdfdom #8749

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

format.yaml

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