At my work the people on shift either leave an hour early (when clocks go forward shift ends at 7am and leave at 7am for example) or they leave early (shift ends at 7am but you leave at 6am after being there a full 12 hours) depending on which way the time goes.