Close and merge PR

Add missing batch index #1198

Sign in to view logs

Summary
Jobs
- merge_job
Run details
- Usage
- Workflow file

Triggered via pull request May 8, 2024 20:33

badgersrus

closed #1901

will/db-index

Status Success

Total duration 10s

Artifacts –

on-merged-pr.yml

on: pull_request