Commit 35829d61 by Daniele Venzano

Remove the pull step from CI pipeline

parent ed8ba1f0
Pipeline #4593 passed with stages
in 41 seconds