예비군 공가 및 연차처리 궁금합니다.

안녕하세요

직원이 예비군을 다녀왔는데요.

예비군 당일 근무시간이 18:00~24:00 입니다.

예비군 훈련은 시간이 안나와있고 6시간이라고만 기재가 되어있는데

보통은 18시 전에 끝나잖아요.

제가 궁금한 점은

근무시간과 예비군 훈련시간이 겹치지 않는데

직원의 근무시간에 대해서 공가처리가 안되니 연차로 소진해야 한다고

안내했을때 위반사항이 되는게 있을까요?