Skip to content

Merge pull request #6119 from bangerth/plugins-2 #2019

Merge pull request #6119 from bangerth/plugins-2

Merge pull request #6119 from bangerth/plugins-2 #2019

Triggered via push November 1, 2024 18:40
Status Success
Total duration 34s
Artifacts 1

typos.yml

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

Artifacts

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