Skip to content

Merge pull request #5614 from gassmoeller/use_dealii_cg #45

Merge pull request #5614 from gassmoeller/use_dealii_cg

Merge pull request #5614 from gassmoeller/use_dealii_cg #45

Triggered via push March 27, 2024 16:54
Status Success
Total duration 25s
Artifacts

typos.yml

on: push
Check for new typos
15s
Check for new typos
Fit to window
Zoom out
Zoom in