Skip to content
PR Gate

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

Sign in to view logs

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

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

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

pr-gate.yml

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

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~XWSAE5.dockerbuild Expired
82.6 KB
sha256:f3251da72d2c4705505b91c0545f180c976822730727fdf2b73cb5e28aac2432