Unverified Commit c5c25e2a authored by René Fritze's avatar René Fritze Committed by GitHub
Browse files

Merge pull request #1430 from pymor/devpi_update

[ci] update devpi images
parents 941702c4 f0a8aaaa
Pipeline #103468 passed with stages
in 37 minutes and 8 seconds