Skip to content

Added titlePath#132

Merged
delatrie merged 4 commits intomainfrom
titlePath
May 1, 2026
Merged

Added titlePath#132
delatrie merged 4 commits intomainfrom
titlePath

Conversation

@delatrie
Copy link
Copy Markdown
Contributor

@delatrie delatrie commented May 1, 2026

The PR uses the new titlePath API to emit titlePath properties to test result files.

@delatrie delatrie changed the base branch from main to php8.4-5 May 1, 2026 14:17
Base automatically changed from php8.4-5 to main May 1, 2026 14:47
@delatrie delatrie marked this pull request as ready for review May 1, 2026 14:48
@delatrie delatrie merged commit 80c745c into main May 1, 2026
23 checks passed
@delatrie delatrie deleted the titlePath branch May 1, 2026 14:59
@delatrie delatrie changed the title Implement titlePath Added titlePath May 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants