Skip to content

Merge pull request #4390 from hvitved/go-to-file-selected-db #1167

Merge pull request #4390 from hvitved/go-to-file-selected-db

Merge pull request #4390 from hvitved/go-to-file-selected-db #1167

Triggered via push May 27, 2026 06:17
Status Success
Total duration 59s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
3.79 MB
sha256:f25a21f666e77974f4ba63610bf09b63123aafbdcba4e2039824c466ee4a9c28