Services in Singapore’s public healthcare sector were affected for about 9½ hours on Tuesday when they were resolved.