From: Marc Fehling Date: Mon, 17 Apr 2023 16:37:28 +0000 (-0600) Subject: Merge pull request #140 from davidscn/update-ci-data X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c8e5c483555ec1b5b1600bf4fb33d3fdfec887bf;p=code-gallery.git Merge pull request #140 from davidscn/update-ci-data Update preCICE CI data for version 2.5.0 --- c8e5c483555ec1b5b1600bf4fb33d3fdfec887bf