-
Matthias Schiffer authored
This reverts commit c418b7bb. Our CI builds do not use the Docker image, so adding the Dockerfile to the filter does not make sense. In addition, the entry was missing in generate-target-filters.py, so it would have been removed when the filters were regenerated.
Matthias Schiffer authoredThis reverts commit c418b7bb. Our CI builds do not use the Docker image, so adding the Dockerfile to the filter does not make sense. In addition, the entry was missing in generate-target-filters.py, so it would have been removed when the filters were regenerated.