Skip to content

Merge pull request #6219 from gassmoeller/improve_dealii_namespace_in… #2323

Merge pull request #6219 from gassmoeller/improve_dealii_namespace_in…

Merge pull request #6219 from gassmoeller/improve_dealii_namespace_in… #2323

Triggered via push January 31, 2025 15:11
Status Success
Total duration 31s
Artifacts 1

typos.yml

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

Artifacts

Produced during runtime
Name Size
changes-typos.diff
152 Bytes