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

Merge pull request #1465 from pymor/ci_fix_artifact_dl

[ci] fix linter processing after script version bump
parents 155fabb7 4048388f
Pipeline #106133 failed with stages
in 52 minutes and 32 seconds