Skip to content

index_store: add more scope to write_index() #1498

index_store: add more scope to write_index()

index_store: add more scope to write_index() #1498

Triggered via pull request May 9, 2024 15:42
Status Success
Total duration 6m 37s
Artifacts

build-nix.yml

on: pull_request
Matrix: flake check
Fit to window
Zoom out
Zoom in