Skip to content
Formatting (pre-commit)

Remove source builds of geometric_shapes and srdfdom #8740

Sign in to view logs

Remove source builds of geometric_shapes and srdfdom

Remove source builds of geometric_shapes and srdfdom #8740

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

format.yaml

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