Skip to content

feat: swap from gpt-5 to gpt-5-mini for 80% savings per token (do not merge) #460

feat: swap from gpt-5 to gpt-5-mini for 80% savings per token (do not merge)

feat: swap from gpt-5 to gpt-5-mini for 80% savings per token (do not merge) #460

Triggered via pull request September 25, 2025 20:38
Status Failure
Total duration 8s
Artifacts

semantic-pr-check.yml

on: pull_request
Validate PR title
4s
Validate PR title
Fit to window
Zoom out
Zoom in

Annotations

1 error
Validate PR title
PR title contains "do not merge" or "do-not-merge". Please remove this before merging.