Update dsl-spec-workflows.md