Skip to content
PR Gate

chore: Misc typos (UI, docs, code...), Makefile PATH with spaces #500

Sign in to view logs

chore: Misc typos (UI, docs, code...), Makefile PATH with spaces

chore: Misc typos (UI, docs, code...), Makefile PATH with spaces #500

Triggered via pull request July 1, 2025 10:14
@GabDugGabDug
synchronize #369
GabDug:typos-path
Status Success
Total duration 5m 51s
Artifacts 1

pr-gate.yml

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

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~07XB1K.dockerbuild Expired
82 KB
sha256:3bcf27d452518b7dfe40bcfdb56483df7277ca322e3b1ca3ccf7c520226048c6