]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18172 from marcfehling/docker-arm64 master
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 12 Mar 2025 13:06:38 +0000 (06:06 -0700)
committerGitHub <noreply@github.com>
Wed, 12 Mar 2025 13:06:38 +0000 (06:06 -0700)
commit666d72c29b832c182f50b91264c3d2e25d643b7c
tree0a55902d309eaf662733438af770012704a8698b
parent1b85218390b7f939852bb7d04acc044ff0ec7c2e
parent158443f56ffcff0c41759735293b7245a827b25b
Merge pull request #18172 from marcfehling/docker-arm64

github: Build docker images for different platforms.

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.