From: Wolfgang Bangerth Date: Wed, 20 Nov 2024 18:40:23 +0000 (-0700) Subject: Merge pull request #204 from dealii/update-actions X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5fab10e1063545a32f895ba9f611e6ca2f12e377;p=code-gallery.git Merge pull request #204 from dealii/update-actions Update linux workflow. --- 5fab10e1063545a32f895ba9f611e6ca2f12e377