Skip to content
PR Gate

fix(web): reuse CodeMirror search language #3406

Sign in to view logs

fix(web): reuse CodeMirror search language

fix(web): reuse CodeMirror search language #3406

Triggered via pull request August 13, 2026 19:58
@brendan-kellambrendan-kellam
synchronize #1580
brendan/fix-SOU-1978
Status Success
Total duration 7m 15s
Artifacts 1

pr-gate.yml

on: pull_request
build
7m 12s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
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/

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~S749Z8.dockerbuild
82.5 KB
sha256:3dd997bb17c52040a7fb927e0715d59749defe3e142ea53ad48be8e656992a23