Skip to content

Merge pull request #5852 from bangerth/hack-unify-style #1049

Merge pull request #5852 from bangerth/hack-unify-style

Merge pull request #5852 from bangerth/hack-unify-style #1049

Triggered via push June 8, 2024 01:10
Status Success
Total duration 28s
Artifacts 1

typos.yml

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

Artifacts

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