Commit d203267e53d1007ea1974111dee26c5383b3ee9a

Khaled Hosny 2021-08-15T18:29:26

[ci] Remove effectively ignored filters We want these jobs to always run, and the filter does not seem to do anything anyway.