would be nice to be able to filter PRs in the dashboard by their CI status and separate PR that are waiting for something, with the ones that are ready to be merged