Merge branch 'release-8.0.0' into 'main'
Passed
Florian Spreckelsen
created pipeline for commit
dbeaad62
, finished
For v8.0.0
40 minutes 47 seconds, queued for 25 seconds