]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9848 from tjhei/ci_github_actions_linux
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Wed, 8 Apr 2020 08:58:23 +0000 (10:58 +0200)
committerGitHub <noreply@github.com>
Wed, 8 Apr 2020 08:58:23 +0000 (10:58 +0200)
commit44ea8aa2bed5fe714221170cb1f11cb572836153
tree5a36b272a0cc5a62bd018a03cee1537b73645316
parentf2aa40653d865fb50f00ef0f3da22030f393362b
parentce200aa4d5c9d9d479df3359523343130da0bb23
Merge pull request #9848 from tjhei/ci_github_actions_linux

[CI]: add GitHub actions linux release build
.github/workflows/main.yml

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.