Skip to content

Merge branch 'main' into dini-2023 #115

Merge branch 'main' into dini-2023

Merge branch 'main' into dini-2023 #115

Triggered via push December 5, 2023 20:30
Status Failure
Total duration 1m 25s
Artifacts
Names of changed markdown
2s
Names of changed markdown
runChecks  /  spellcheck
1m 6s
runChecks / spellcheck
runChecks  /  proselint
8s
runChecks / proselint
runChecks  /  mdlint
5s
runChecks / mdlint
runChecks  /  metacheck
6s
runChecks / metacheck
Fit to window
Zoom out
Zoom in

Annotations

2 errors
runChecks / mdlint
Process completed with exit code 1.
Spelling errors
Files in repository contain spelling errors