Skip to content

Merge pull request #5610 from bangerth/changelog #27

Merge pull request #5610 from bangerth/changelog

Merge pull request #5610 from bangerth/changelog #27

Triggered via push March 22, 2024 13:04
Status Success
Total duration 24s
Artifacts

typos.yml

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