From: Matthias Maier Date: Mon, 24 Jul 2023 06:29:55 +0000 (+0000) Subject: Merge pull request #15756 from tamiko/test_draft_prs X-Git-Tag: relicensing~649 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b9f5e1c6c0dde16c3dde295bc3861dc4f738f7d;p=dealii.git Merge pull request #15756 from tamiko/test_draft_prs github: run all github actions on draft PRs as well --- 9b9f5e1c6c0dde16c3dde295bc3861dc4f738f7d