Passed
Pull Request — main (#3055)
by
unknown
35:23
created
9
▶   ± 0
Test Coverage
50%
Head
Lars  
Merge 4ae52e29a1ba3f33d43aa6bb0a1abc1face6e5cf into b7a629dfe04645c68d016260058a74952d6dc9e1
3 more commits
Base
Rafael Kähm  
[TASK] Follow ups to renaming the master to main branch