Skip to content

build: remove obsolete Solaris profile#1341

Merged
joaodinissf merged 1 commit into
dsldevkit:masterfrom
joaodinissf:chore/remove-solaris-profile
May 18, 2026
Merged

build: remove obsolete Solaris profile#1341
joaodinissf merged 1 commit into
dsldevkit:masterfrom
joaodinissf:chore/remove-solaris-profile

Commits

Commits on May 16, 2026