From: Marc Fehling <mafehling.git@gmail.com>
Date: Fri, 14 Apr 2023 05:20:45 +0000 (-0600)
Subject: Merge pull request #93 from peterrum/precice-ci
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a6e111efdd0e3fb27f1e293ed5e7c2450a40f01c;p=code-gallery.git

Merge pull request #93 from peterrum/precice-ci

Clean up precice-ci.yml
---

a6e111efdd0e3fb27f1e293ed5e7c2450a40f01c