Skip to content

Merge pull request #6753 from bangerth/serialize-manager-objects #4594

Merge pull request #6753 from bangerth/serialize-manager-objects

Merge pull request #6753 from bangerth/serialize-manager-objects #4594

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

typos.yml

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

Artifacts

Produced during runtime
Name Size Digest
changes-typos.diff
152 Bytes
sha256:0e20de9dc5cfff75d500a0697a37d8ed3b8a5ee878ce448f6064201aa0eb9a71