Skip to content
Snippets Groups Projects

Eliminated remaining PriorSet references

Passed
Moritz Huebner created pipeline for commit 47c905c8
, finished
1 related merge request: !243 Resolve "Rename `PriorSet` -> `PriorDict`"
branch
2 jobs 9 minutes 16 seconds, queued for 3 seconds