]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c997610) | patch
CI: disable old MPI build 14555/head
authorTimo Heister <timo.heister@gmail.com>
Fri, 9 Dec 2022 21:40:48 +0000 (16:40 -0500)
committerTimo Heister <timo.heister@gmail.com>
Fri, 9 Dec 2022 21:40:48 +0000 (16:40 -0500)
commited1d6fb118182f76d1d3887718f3e7e3b0b92d5e
tree94480a7f4ae197da5f776910311c35fa41841656tree | snapshot
parentc9976103bc6a9a433c2a860f8643165779896125commit | diff
CI: disable old MPI build

Now that the new MPI build is working, delete the old one.
Jenkinsfile diff | blob | history
Mirror of the development repository for deal.II

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.