refac: rename degrad -> degrad_space, #18
Passed
created pipeline for commit
15ebe773
, finished
1 related merge request: !21 issue17,18,21_new
2 minutes 40 seconds, queued for 3 seconds