Skip to content
PR Gate

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

Sign in to view logs

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

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

Triggered via pull request June 2, 2025 17:50
@brendan-kellambrendan-kellam
opened #325
bkellam/fix_empty_mark_decorations
Status Success
Total duration 5m 26s
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~VF0ZYB.dockerbuild Expired
81.8 KB
sha256:8a2054cb15e6646c84c8ea659563717c6e9703abdb3abd7873e1185bd06c0d16