]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15652 from tamiko/update_github_runners
authorMatthias Maier <tamiko@43-1.org>
Sun, 9 Jul 2023 02:56:00 +0000 (02:56 +0000)
committerGitHub <noreply@github.com>
Sun, 9 Jul 2023 02:56:00 +0000 (02:56 +0000)
commit67fafd113379ff1dd2b90784fda7df27f471c605
treec84ec15228bcd00593f2a5ef391555fab720a564
parent5838410c224424958aff94a6f227de465870f675
parentec29682e88ac2bbce9ac5b8639445ef810c3dfde
Merge pull request #15652 from tamiko/update_github_runners

github: update linux runners

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.