- ci : remove jureca from per commit CI

  - jureca is often quite busy and can lead to CI times of more than an
    hour long, which is counterproductive for the initial development
    stage that we are in.
  - If we do want to use jureca, we should add it in a daily/weekly run.