Skip to content

Revert "Magma project name fixes" - #1519

Closed
dtm2451 wants to merge 1 commit into
masterfrom
revert-1516-graft/magma-project-names
Closed

Revert "Magma project name fixes"#1519
dtm2451 wants to merge 1 commit into
masterfrom
revert-1516-graft/magma-project-names

Revert "Magma project name fixes"

9de1057
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test-vesta
succeeded Jun 8, 2026 in 15m 18s