Skip to content
PR Gate

fix(web): reuse CodeMirror search language #3407

Sign in to view logs

fix(web): reuse CodeMirror search language

fix(web): reuse CodeMirror search language #3407

Triggered via pull request August 13, 2026 20:03
@brendan-kellambrendan-kellam
synchronize #1580
brendan/fix-SOU-1978
Status Success
Total duration 5m 14s
Artifacts 1

pr-gate.yml

on: pull_request
build
5m 10s
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~A70PP8.dockerbuild
84.5 KB
sha256:fe30e1acd8c63f9ed6acda6a9672fbe5a0b2ea41ba858429958f8b303b17aaa3