Skip to content
main

Improve source location lookup performance #548

Sign in to view logs

Improve source location lookup performance

Improve source location lookup performance #548

Re-run triggered July 24, 2026 16:46
@ChristianMurphyChristianMurphy
#216
marcoshernanz:codex/perf-location-binary-search
Status Failure
Total duration 3m 16s
Artifacts –

main.yml

on: pull_request
coverage
3m 9s
coverage
main
33s
main
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
main
Process completed with exit code 101.
coverage
Process completed with exit code 1.
main
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
coverage
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/