Skip to content

Merge pull request #6775 from bangerth/viz-pp #4627

Merge pull request #6775 from bangerth/viz-pp

Merge pull request #6775 from bangerth/viz-pp #4627

Triggered via push November 14, 2025 13:04
Status Success
Total duration 29s
Artifacts 1

typos.yml

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

Artifacts

Produced during runtime
Name Size Digest
changes-typos.diff
152 Bytes
sha256:9fb050f1452f1e66085f520c7d98616b80c4d67669b82fe03745ee483be809ec