Skip to content
PR Gate

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

Sign in to view logs

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

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

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

pr-gate.yml

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

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~2CLGOB.dockerbuild Expired
78.8 KB
sha256:8e277230a0d1c3623fbec841ca795329f9508b40f367d464373dd87ee4a1fa5f