Passed
Pull Request — main (#3068)
by
unknown
42:56
created

Changes

9.01
▶   ± 0
Head
Fabio  
Merge 4a25596bf173e3a86a1f5b54f415cb6862ed40e2 into b7a629dfe04645c68d016260058a74952d6dc9e1
3 more commits
Base
Rafael Kähm  
[TASK] Follow ups to renaming the master to main branch