Skip to content
Snippets Groups Projects

Revert "Some first steps in adding PolyChord"

Passed
Moritz Huebner created pipeline for commit 482b627e
, finished
For polychord
2 jobs 8 minutes 43 seconds, queued for 2 seconds