Skip to content
Profiling Changes

Replace globals with editor environment #4997

Sign in to view logs

Replace globals with editor environment

Replace globals with editor environment #4997

Triggered via pull request January 18, 2026 18:20
@timon-schellingtimon-schelling
opened #3656
replace-globals
Status Success
Total duration 44m 47s
Artifacts –

comment-profiling-changes.yaml

on: pull_request
profile
44m 43s
profile
Fit to window
Zoom out
Zoom in