]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f40be01) | patch
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
treea29048581c47ade5946dcb2b422ac0a5ca0918fbtree | snapshot
parentf40be01994c320236edb775d09a9c89c0f118386commit | diff
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 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.