Skip to content

Update to deal.II 9.8.0 - #62

Merged
luca-heltai merged 3 commits into
masterfrom
dealii-9.8.0
Oct 20, 2026
Merged

Update to deal.II 9.8.0#62
luca-heltai merged 3 commits into
masterfrom
dealii-9.8.0

Reuse the documented Docker build path and speed up CI linking

7b10b1a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar