Spell Check with Typos

Merge pull request #6118 from bangerth/plugins-1 #2018

Sign in to view logs

Triggered via push November 1, 2024 18:39

tjhei

main

Status Cancelled

Total duration 24s

Artifacts –

typos.yml

on: push

Check for new typos

Annotations

1 error

Check for new typos

Canceling since a higher priority waiting request for 'tjhei-refs/heads/main-typos' exists