I did not. It was a mix of public and private employees which creates additional dynamics

Public sector vs. Private? What's a private employee?

One who does not get paid directly by the government. E.g., a contractor doing work for the government