tree eeb1aef589175e79e314ddc2f0cf6ff109c43365
parent eecb259de2ac2d2995aab0aa29263529a69a698d
author Ivan Kelly <ivank@apache.org> 1563551320 +0100
committer Enrico Olivelli <eolivelli@gmail.com> 1563551320 +0200

[CI] Prune networks older than 12h

Previously we were using a filter which matched on the network name of
the networks we create. However, docker seems to have removed this
functionality, so now we just prune all unused networks which are more
than 12h old (no CI job should be taking more than 12h).


Reviewers: Enrico Olivelli <eolivelli@gmail.com>

This closes #2126 from ivankelly/ci-failure