Label PRs

chore: move Integerlist to db-api #3889

Sign in to view logs

Summary
Jobs
- label_prs
Run details
- Usage
- Workflow file

Triggered via pull request December 2, 2024 15:38

mattsse

opened #13062

matt/move-integerlist

Status Success

Total duration 24s

Artifacts –

label-pr.yml

on: pull_request