]> https://gitweb.dealii.org/ - candi.git/commit
CI: switch to checkout v2 138/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 9 Apr 2020 16:23:41 +0000 (12:23 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 9 Apr 2020 16:23:41 +0000 (12:23 -0400)
commit39a72808a911c5eab6a065e021f6609453bab8ed
treede8258ecb445f2e568c3afc8182ff0e8302de222
parent053c02c1d1ef51f084af3c61497b66949a7a3a79
CI: switch to checkout v2

this might fix occasional reference is not a tree errors.
.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.