Skip to content

Only record devcontainer complete#273

Merged
june-hua merged 1 commit intomasterfrom
PHP-89928-metrics
Nov 25, 2025
Merged

Only record devcontainer complete#273
june-hua merged 1 commit intomasterfrom
PHP-89928-metrics

Conversation

@june-hua
Copy link
Copy Markdown
Contributor

/home/core/wb.sh is not setup at the start of devcontainer service (in pre-devcontainer.sh)
Just record devcontainer end as provisioning time is not needed for private app monitoring.
These monitoring changes are only a temporary measure.

@june-hua june-hua self-assigned this Nov 25, 2025
@june-hua june-hua marked this pull request as ready for review November 25, 2025 14:46
@june-hua june-hua requested review from a team as code owners November 25, 2025 14:46
@june-hua june-hua merged commit 0d444d9 into master Nov 25, 2025
12 checks passed
@june-hua june-hua deleted the PHP-89928-metrics branch November 25, 2025 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants