Skip to content

Merge remote-tracking branch 'origin/pr/1138' #1857

Merge remote-tracking branch 'origin/pr/1138'

Merge remote-tracking branch 'origin/pr/1138' #1857

Annotations

2 warnings

Build linux binary (ubuntu-latest, x86_64-linux-ghcup, 9.8.4, 64)

succeeded Dec 19, 2024 in 15m 18s