Runtimes PR #1079
| Title | Make PET optional (but still run) |
|---|---|
| Merged | 2026-02-20 |
| Merge commit | 7be6b9c6f97630dc959aae71ba0e50468c2ac8f2 |
| GitHub | pull request |
Landings
-
main
— direct (
7be6b9c6f976)
Included In Runtime Release (5)
Timeline
pr.merged@ 1771601720 — git_commitspr.landed@ 1771601720 — git_commitsruntime_pr_in_release.reached@ 1773047924 — runtime_membershipruntime_pr_in_release.reached@ 1773420439 — runtime_membershipruntime_pr_in_release.reached@ 1776019338 — runtime_membershipruntime_pr_in_release.reached@ 1776435514 — runtime_membershipruntime_pr_in_release.reached@ 1776941713 — runtime_membership