Skip to content

do not install singularity, pulsar does not need it#31

Merged
martindemko merged 10 commits into
mainfrom
no-sing
May 13, 2026
Merged

do not install singularity, pulsar does not need it#31
martindemko merged 10 commits into
mainfrom
no-sing

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants