Is it daylight saving time
in Asia/Colombo?

Based on the timezone.