Skip to content

Editorial: use conventional notation for referring to types in Tables 4 and 5 #231

Editorial: use conventional notation for referring to types in Tables 4 and 5

Editorial: use conventional notation for referring to types in Tables 4 and 5 #231

Triggered via pull request October 29, 2024 12:15
Status Success
Total duration 8m 11s
Artifacts

spellcheck.yml

on: pull_request
check for newly-introduced spelling errors
8m 1s
check for newly-introduced spelling errors
Fit to window
Zoom out
Zoom in