Commit 1f2209b7 authored by Tobias Winchen's avatar Tobias Winchen

Merge branch 'pulsar_merge' into 'dev'

Merge Pulsar Pipeline

See merge request mpifr-bdg/mpikat!5
parents d3726684 4dd9e36d
Pipeline #81520 passed with stage