Skip to content

Merge pull request #5658 from alarshi/add_dealii9_6_directives #162

Merge pull request #5658 from alarshi/add_dealii9_6_directives

Merge pull request #5658 from alarshi/add_dealii9_6_directives #162

Triggered via push May 29, 2024 21:29
Status Success
Total duration 36s
Artifacts 1

typos.yml

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

Artifacts

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