Format the state machine as pipelines post