Skip to content
Sourcegraph

improvement: fetch missing dependency sources #6796

Sign in to view logs

improvement: fetch missing dependency sources

improvement: fetch missing dependency sources #6796

Triggered via pull request November 22, 2023 12:14
@kasiaMarekkasiaMarek
synchronize #5819
kasiaMarek:fetch-deps-sources
Status Success
Total duration 3m 23s
Artifacts –

sourcegraph.yml

on: pull_request
Upload SCIP
3m 13s
Upload SCIP
Fit to window
Zoom out
Zoom in