tree 1386fd906ae32aba06445f68f013b82f43e6d671
parent 82f2830ba7d630faa74e53e9641f846fcbd820fd
author William Hesse <whesse@google.com> 1585747392 +0000
committer William Hesse <whesse@google.com> 1585747392 +0000

[results feed] Add filter for individual configurations

Also changes configuration group filter to be inactive when empty, and
default to empty

Change-Id: I114b308f0dda6c60303dcb90c007854c3acc1002
Reviewed-on: https://dart-review.googlesource.com/c/dart_ci/+/142040
Reviewed-by: Jonas Termansen <sortie@google.com>