Football. Northern Ireland Premiership 2024/25. Final round. Half time