Commits · 5994a40f86fa61f07beca9888b74ba11d5e39c87
grudge
.github
Browse files
Apr 15, 2020
Fix github ci apt typo
· c793b353
Andreas Klöckner
authored
Apr 15, 2020
c793b353
Make MPI available during Github examples CI
· edfa6200
Andreas Klöckner
authored
Apr 15, 2020
edfa6200
Prototype Github CI
· 5fe8544a
Andreas Klöckner
authored
Apr 15, 2020
5fe8544a
Loading
