fix(query-language): don't treat dash before a non-prefix colon word as negation · sourcebot-dev/sourcebot@95e7902

Re-run triggered August 5, 2026 00:23

#1301

Status Success

Total duration 5m 22s

Artifacts 1

pr-gate.yml

on: pull_request

1 warning

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/

Produced during runtime

Name	Size	Digest
sourcebot-dev~sourcebot~OJ6JT8.dockerbuild	84.2 KB	`sha256:bdcd98484d290b2bd7a55219b0d21229deead427e79ddf8c6a03e55e1a7d82fb`