Skip to content
PR Gate

fix: Fix "Mark decorations may not be empty" issue #390

Sign in to view logs

fix: Fix "Mark decorations may not be empty" issue

fix: Fix "Mark decorations may not be empty" issue #390

Triggered via pull request June 2, 2025 18:21
@brendan-kellambrendan-kellam
synchronize #325
bkellam/fix_empty_mark_decorations
Status Success
Total duration 5m 24s
Artifacts 1

pr-gate.yml

on: pull_request
build
5m 20s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~GC5033.dockerbuild Expired
80.7 KB
sha256:3e539621cc5d020c1f7c44524451089666013af5ea706149a9021c42401692db