CI: formal: use shared workflow in actions-shared-workflows