Skip to content

Merge pull request #6777 from bangerth/serialize #4628

Merge pull request #6777 from bangerth/serialize

Merge pull request #6777 from bangerth/serialize #4628

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

typos.yml

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

Artifacts

Produced during runtime
Name Size Digest
changes-typos.diff
152 Bytes
sha256:1343b4078565307b35be1918df64b7014f541e7701e47b898bdf3b426aeeac15