Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Query the database instead of filter the runs later. This ensures that the count of finished and not deleted runs will be correct. This also fixes the pagination, some pages ended up having less than page_size runs.
- Loading branch information