]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81b0e3c) | patch
Try using mold in github actions 14520/head
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 9 Dec 2022 17:02:24 +0000 (12:02 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Fri, 9 Dec 2022 17:02:24 +0000 (12:02 -0500)
commit38d9f853f480a0f8a5d823837d344461a9079af6
tree45aeb919bcdd76636c1d50d51b2fc68b51e3d9c8tree | snapshot
parent81b0e3c0547bd67fe01d8219e8aa4a7fbb202cabcommit | diff
Try using mold in github actions
.github/workflows/linux.yml diff | blob | history
.github/workflows/osx.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.