]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16063 from marcfehling/docker-cron
authorMarc Fehling <mafehling.git@gmail.com>
Sun, 1 Oct 2023 00:26:54 +0000 (18:26 -0600)
committerGitHub <noreply@github.com>
Sun, 1 Oct 2023 00:26:54 +0000 (18:26 -0600)
commit4f344d7b674e6376c773fdbe325f48e0b6125881
treef3b3cbb30f0fafb9ae4477f9c51f7f76d3b62b46
parent58febcd5cf5e6e88cecd6d4d2369dd40f6f2deff
parentd53b2b1ecf17d2835ddc7f31e00f6802581b2375
Merge pull request #16063 from marcfehling/docker-cron

Docker: Build images every 12 hours.

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.