Skip to content

Merge

Merge #1081

Annotations

1 warning

Merge

succeeded Dec 9, 2024 in 8s
Set up job
1s
Request review from @ergebnis-bot
1s
Assign @ergebnis-bot
0s
Approve pull request
1s
Merge pull request
2s
Complete job
0s