Skip to content

chore: [DevOps] succeed early if spec is unchanged#560

Merged
CharlesDuboisSAP merged 1 commit intomainfrom
fail-early
Aug 28, 2025
Merged

chore: [DevOps] succeed early if spec is unchanged#560
CharlesDuboisSAP merged 1 commit intomainfrom
fail-early

Commits

Commits on Aug 28, 2025