]> https://gitweb.dealii.org/ - dealii.git/commit
CI: github actions: checkout@v2 9864/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 9 Apr 2020 16:26:17 +0000 (12:26 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 9 Apr 2020 16:26:17 +0000 (12:26 -0400)
commitd1f7e3f57ac8e1afbdf7d57ec29830e51b4ab708
treea29048581c47ade5946dcb2b422ac0a5ca0918fb
parentf40be01994c320236edb775d09a9c89c0f118386
CI: github actions: checkout@v2

update checkout action to @v2. This should avoid errors when rerunning a
job about "reference is not a tree".
.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.