Government employees on November 1 half day leave